I was woundering why the TCB size in ix86 L4 is 1K, how much of the stack at the end of the TCB is actually used? Could the TCB be reduced to 512K? If not why not? Cheers Adam
I've started work on writting an assembler (perhaps with some C) version of L4 for ARM version 4 starting with the StrongARM SA-1100 (on the Brutus evaluation platform and some custom hardware). If anyone is interested in the port or has started their own and has any advice or suggestion please contact me. At release time it will be covered by the GPL.
Cheers Adam
l4-hackers@os.inf.tu-dresden.de