Certificates

Author	grave@ipno.in2p3.fr
Branch	org.os-lovelace
Changelog	minimal extension to test basic kernel + console mix
Date	2010-06-03T22:16:33

Revision Details

Oldrevision	Old revision is: [144fb125..] (diff)
Patch	Patch file config/boards/qemu_x86.mk (diff) Patch file src/boards/x86/kernel.adb (diff)