Hi,
I checked out L4 and tried to compile it. There are some broken packages, which don't compile:
/l4/pkg/cpu_reserve/examples/utcb-watch
/l4/pkg/loader/examples/fprov-l4
/l4/pkg/dmon/server
/l4/pkg/dsi_staticfs
/l4/pkg/rt_mon/examples/dope_mon
/l4/pkg/rt_mon/examples/l4vfs_dope_mon/
Just to inform you.
Bye, Arthur