== Kernel ==

o Boot with ramdisk (command line?)
o Convert from arch-specific types (e.g. DWORD -> Addr)

== User ==

o Convert from arch-specific types in syscall interface.