L4 Pistachio Build Environment

Jan Stoess

2012-06-11 07:48:07 UTC

Hello Ashford,

No, there is no recommendend build environment, most gcc/binutils combinations should just do. We do build tests with various toolchains, have a look at http://www.l4ka.org/98.php. FWIW, we found recently out that with the most recent gcc toolchain (4.6), there are seem to be problems for which we don't have a fix yet. However, the older ones should actually do.

Regarding the IRQ re-enablement problem: have you sent an acknowledgement IPC? If so, I'd look into L4 trace points and the associated tracebuffer (kdb menu entries 'r' and 'y') to find out what's going wrong. It might indeed be a kernel bug, but I'd always be suspicious with the user-level code as well.

-Jan

--
Dr. Jan Stoess, KIT System Architecture Group

From: l4ka-***@ira.uni-karlsruhe.de [mailto:l4ka-***@ira.uni-karlsruhe.de] On Behalf Of Ashford Nichols
Sent: Monday, May 28, 2012 5:36 PM
To: ***@ira.uni-karlsruhe.de
Subject: L4 Pistachio Build Environment

Is there a recommended build environment to build the L4 pistachio Microkernel? I have tried building it on my system and most times it builds properly and runs well on QEMU, but when I try to boot it on my system, (using the floppy drive) it doesn't work quite like it should. One such case was with the IRQ. I tried capturing and handling keyboard interrupts, but for some reason the interrupt is never re-enabled. The system I am using is below:

CPU - Intel Pentium 4 1.80GHz
RAM - 768MB
OS - Opensuse 11.4
GCC Version - 4.12
L4 Pistachio Version: l4ka-pistachio-dd624dd

--
Ashford