I recently bought the DE10 nano. When I connect it to the HDMI screen and start linux. I have some problems and doubts. --I can not change the resolution of the screen, it has a default one that automatically configures but not all the monitors are adjusted properly. - The Linux distribution does not shut down or restart, . I had to remove the power supply to turn it off. -Only has a port to use or a keyboard or a mouse. Is it possible to use a USB hub with external power to use both (mouse and keyboard) at the same time ?. -Is there any manual on Linux OS? Thanks in advance for the support.