MODULE StartConsole; (** AUTHOR ""; PURPOSE ""; *) IMPORT EFIGraphicalConsole, Machine; BEGIN EFIGraphicalConsole.SetupConsole(Machine.fbInfoPtr, Machine.fbadr); END StartConsole.