hardware that actually exists -- never something to deter gcc folk though). Now ISA tuning has a chance of producing a bootable kernel, gcc code generation notwithstanding..