-
Committer:
Martin Decky
-
Date:
2011-08-09 18:08:23 UTC
-
Revision ID:
martin@decky.cz-20110809180823-yf3gc26yqs7p30sq
do not provide general access to kernel headers from uspace, only allow specific headers to be accessed or shared
externalize headers which serve as kernel/uspace API/ABI into a special tree