/extras/mini-os/include/x86/x86_32/