HelenOS sources

uspace/lib/corecfg/include/corecfg.h
uspace/lib/corecfg/include/ipc/corecfg.h