26 return Db1500::instance();
virtual Serial * getSerial(size_t n)
virtual void initialise()
virtual size_t getNumVga()
virtual SchedulerTimer * getSchedulerTimer()
virtual size_t getNumSerial()
virtual Timer * getTimer()
virtual Vga * getVga(size_t n)