You would most likely code it in C++.
There is a public menu source made by Hans211, try googleing for it.
CreateWindow as a child to the device window , but not sure if you're suppose to use win32 windows on the device , i think actually they could be custom libs such as cegui , i know thats for custom gui on the device