I'm in the middle of porting inferno-os to aarch64, and it would have way better hardware compatibility (it's plan9-like, a development of plan 9 actually) because it can run in 'hosted' mode and just provide the inferno services (like plan9 can export and import resources from other computers) - but it can run as a process in Linux, so just use the linux kernel, and wherever linux can run (almost everywhere) inferno can run.
If you are interested when I am done, let me know.
