# I/O bus

|  start     |  end       | description
|------------|------------|---------------------------------------
| 0x00000000 | 0x00000000 | debug serial port
| 0x80000000 | 0x8000031f | display overlay
| 0x80000400 | 0x80000401 | mouse
| 0x80000500 | 0x80000500 | keyboard
| 0x80000600 | 0x80000600 | audio
| 0x80000700 | 0x80000706 | RTC
| 0x80001000 | 0x80005003 | disk
| 0x80010000 | 0x80010000 | power off


TODO: details