rdos - Revision 15498: /trunk/kernel/efi

• ..
• efi/
• efimain.c
• guicheck/
• ia32/
• loader/
• shell/
• x64/