/profiles/hardened/linux/ia64/
../
desktop
developer
make.defaults
parent
server