00001 00002 #include "static_cfg.h" 00003 00004 static l4io_desc_device_t 00005 sys = { SYS_CTRL, 1, 00006 { 00007 { L4IO_RESOURCE_MEM, 0xc0000000, 0xc0000fff }, 00008 } 00009 }, 00010 kbd = { AMBA_KMI_KBD, 2, 00011 { 00012 { L4IO_RESOURCE_MEM, 0x18000000, 0x18000fff }, 00013 { L4IO_RESOURCE_IRQ, 20, 20 } 00014 } 00015 }, 00016 mou = { AMBA_KMI_MOUSE, 2, 00017 { 00018 { L4IO_RESOURCE_MEM, 0x19000000, 0x19000fff }, 00019 { L4IO_RESOURCE_IRQ, 21, 21 } 00020 } 00021 }, 00022 lcd = { AMBA_LCD_PL110, 1, 00023 { 00024 { L4IO_RESOURCE_MEM, 0xc0020000, 0xc0020fff }, 00025 } 00026 }, 00027 smc91x = { SMC91X, 2, 00028 { 00029 { L4IO_RESOURCE_MEM, 0xc8000000, 0xc8000fff }, 00030 { L4IO_RESOURCE_IRQ, 27, 27 }, 00031 } 00032 }; 00033 00034 register_device_group("integrator", &sys, &kbd, &mou, &lcd, &smc91x);