| #ifndef _SYBORG_H |
| #define _SYBORG_H |
| |
| #define SYBORG_ID_PLATFORM 0xc51d1000 |
| #define SYBORG_ID_INT 0xc51d0000 |
| #define SYBORG_ID_SERIAL 0xc51d0001 |
| #define SYBORG_ID_KEYBOARD 0xc51d0002 |
| #define SYBORG_ID_TIMER 0xc51d0003 |
| #define SYBORG_ID_RTC 0xc51d0004 |
| #define SYBORG_ID_MOUSE 0xc51d0005 |
| #define SYBORG_ID_TOUCHSCREEN 0xc51d0006 |
| #define SYBORG_ID_FRAMEBUFFER 0xc51d0007 |
| #define SYBORG_ID_HOSTFS 0xc51d0008 |
| #define SYBORG_ID_SNAPSHOT 0xc51d0009 |
| #define SYBORG_ID_VIRTIO 0xc51d000a |
| #define SYBORG_ID_NAND 0xc51d000b |
| |
| #endif |
