4 Optimize functions in util-nexus.c: mon_memzero, mon_memcpy, mon_memset
5 They could be done a lot more efficiently.
6 Perhaps make mon_memzero function specifically for pages.
8 Pseudo devices and special guest-OS specific device drivers for
9 disk/network/video/etc and an associated architecture. This would
10 let us pass data more quickly and prevent a lot of emulation overhead.
11 The real device emulation could plug into the same architecture as
15 Fix extra CR3 reload in nexus.S
17 Alignment of routines in mon-fault.c