#include <Protocol/SimpleFileSystem.h>
#include <Uefi.h>
#include <Uefi/UefiSpec.h>
// extern char keycode[];

void textout(UINT8 code);