kaluga: waiting for all spawnds to be up before starting drivers/apps
[barrelfish] / usr / kaluga / x86.c
2017-09-01 Roni Häckikaluga: waiting for all spawnds to be up before startin...
2016-10-14 Lukas HumbelIRQ: Add range to IRQSrc cap
2016-08-25 Lukas HumbelKaluga x86 startup: Be tolerant when module is not...
2016-08-24 Lukas HumbelIRQ: Fix timer test. lpc_timer is now started by Kaluga
2016-08-05 Simon GerberT258: kaluga: use cnode_create_l2()
2016-07-29 Lukas HumbelIRQ: start serial_pc16550d binary
2016-07-29 Lukas HumbelIRQ: Better error messages for Kaluga
2016-07-29 Lukas HumbelIRQ: serial driver uses IRQ cap
2016-07-29 Lukas HumbelIRQ: Start serial from kaluga
2016-07-29 Lukas HumbelIRQ: Add priorioty to device_db. Additional device_db...
2016-07-29 Lukas HumbelIRQ: Use kaluga to start interrupt controllers
2016-06-22 Simon GerberT254: kaluga: move arch-specific startup code into...