xrdp 

xrdp -- simple and powerful RDP server, useful for pupils to access demo box remotely