4 Commits

Author	SHA1	Message	Date
Stefan Kalkowski	8e9e866161	Unify framebuffer driver binary names (fix #720) ... Introduce 'framebuffer' SPEC variable to distinguish hardware framebuffer drivers furthermore from the SDL framebuffer driver used by Genode/Linux.	2013-05-07 13:04:30 +02:00
Norman Feske	3cb7476cb7	Increase quota of d3m	2013-01-21 11:40:38 +01:00
Christian Prochaska	2f2fd33d96	Explicitly use qemu-system-i386 rather than qemu	2012-04-23 15:32:59 +02:00
Norman Feske	227bab4aa6	Test d3m's auto-probing of the boot device	2012-01-27 18:08:25 +01:00