TODO

   1 general:
   2 - printing to tty1 from v86d causes a hang
   3   (to be expected due to how the console sem is handled in the kernel)
   4
   5 x86emu:
   6 - switch to Paulo Marques' version (?)