A small x86 kernel implementation with a flat memory model