20 #ifndef MACHINE_ARM_BEAGLE_H 21 #define MACHINE_ARM_BEAGLE_H 27 #include "pedigree/kernel/machine/Machine.h" 35 inline static Machine &instance()
virtual SchedulerTimer * getSchedulerTimer()
virtual Keyboard * getKeyboard()
virtual size_t getNumSerial()
virtual void initialise2()
Called after debugger startup.
virtual size_t getNumVga()
virtual Vga * getVga(size_t n)
virtual Timer * getTimer()
Implements the UART interface on the BeagleBoard.
virtual Serial * getSerial(size_t n)
virtual void initialiseDeviceTree()
virtual void initialise()
virtual void setKeyboard(Keyboard *kb)