Remember, Amiga Inc wants OS5 to be ported to x86
Not quite x86, i.e. on top of Tao’s virtual processor (If I recall correctly). IF we have HAL for certain hardware (e.g. GPU, DSP and 'etc'), why not the CPU?
PS; Bernie has the AmigaOS (~3.x) license for x86. I do recall Hyperion has the intentions to filter some of their AOS4 modules to Bernie’s AmigaOS x86 project.
I wonder IF Cloanto’s product will update their AmigaOS distribution with some AOS 4.0’s modules(after the release of AOS4).