> Did you build your L4 user land first? This sounds like <objdir>/include > is not really populated. Sure. I checked out a fresh l4linux-2.6-env and l4linux-2.6. I'm currently using both modules in a cvs version from 2006-04-18 which builds just fine in this regard. So this looks like bug to me. Stefan