mach/hurd/x86
mach/hurd/i386/htl