4 #define SYBORG_ID_PLATFORM 0xc51d1000
5 #define SYBORG_ID_INT 0xc51d0000
6 #define SYBORG_ID_SERIAL 0xc51d0001
7 #define SYBORG_ID_KEYBOARD 0xc51d0002
8 #define SYBORG_ID_TIMER 0xc51d0003
9 #define SYBORG_ID_RTC 0xc51d0004
10 #define SYBORG_ID_MOUSE 0xc51d0005
11 #define SYBORG_ID_TOUCHSCREEN 0xc51d0006
12 #define SYBORG_ID_FRAMEBUFFER 0xc51d0007
13 #define SYBORG_ID_HOSTFS 0xc51d0008
14 #define SYBORG_ID_SNAPSHOT 0xc51d0009
15 #define SYBORG_ID_VIRTIO 0xc51d000a
16 #define SYBORG_ID_NAND 0xc51d000b