Linked by nfeske on Thu 28th Feb 2013 12:08 UTC
Thread beginning with comment 554008
To view parent comment, click here.
To read all comments associated with this story, please click here.
To view parent comment, click here.
To read all comments associated with this story, please click here.




Member since:
2011-10-17
You are right. I definitely agree with this decision.
There are a few directories under l4/pkg that are checked out during the "make prepare" step. Which other ones are feasible to remove from the trusted computing base.
I figure you would keep l4sys, libvcpu, cxx, bootstrap, ldscripts and maybe the drivers-frst?