HelenOS sources

root/kernel/genarch/include/