mach/hurd/x86
mach/hurd/x86_64/htl
