More to come...
Can I build in a separate directory than the source directory?
Yes, this is possible. Use
for every make call.
The colors under DOpE or con look strange.
Most probably you have configured L4Linux
with the VGA driver. Disable it (Device Driver -> Graphics Support
-> Console display driver support -> VGA text console). While you are
at it, also disable the mouse and keyboard drivers if you haven't done
The mouse is trapped inside the DOpE window!
Press the 'Break' key to release it.
Under Fiasco-UX, I'm getting an error like this while starting
KERNEL: 11.3 (tcb=20441800) killed:
EAX 005feb30 EBX 000003c0 ECX 00000000 EDX 000003da
ESI 000003da EDI 000003c0 EBP 00635f30 ESP 00635f20
EIP 0064e3da EFLAGS 00210046
CS 0002 SS 002b DS 002b ES 002b FS 0000 GS 0007
trapno 13, error 00000000, from user mode
(internal event regarding GDT entry no. 0x00)
Your image probably still contains a driver or similar which tries
to access the hardware. Under Fiasco-UX this will result in an
exception. To find out which feature to disable in the Linux
configuration, enter the kernel debugger with Ctrl-C, and enter
ut11 64e3da[ENTER] to show a disassembly of task 11
at address 0x64e3da. Scroll a bit up to see the C file of the code.
Now that you know the C file you can disable the appropriate option
in the kernel configuration.