ICP_KBD 138 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c icp.hw_map.kbd_ctrl = km_map(ICP_KBD, PAGE_SIZE, PAGE_SIZE, ICP_KBD 345 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c sysinfo_set_item_val("kbd.address.physical", NULL, ICP_KBD);HelenOS homepage, sources at GitHub