20 #ifndef MACHINE_MALTA_BONITO64_H 21 #define MACHINE_MALTA_BONITO64_H 23 #include "../Keyboard.h" 24 #include "../Serial.h" 26 #include "pedigree/kernel/machine/Machine.h"
virtual void initialise()
virtual Vga * getVga(size_t n)
virtual Serial * getSerial(size_t n)
virtual size_t getNumSerial()
virtual size_t getNumVga()
virtual Keyboard * getKeyboard()
virtual SchedulerTimer * getSchedulerTimer()
virtual Timer * getTimer()