Soweit ich weiss, führen die Treiber von Idek das BIOS in einem x86-Emulator aus. Insofern stimmt es, daß kein x86-Code in Hatari emuliert werden müsste, sehr wohl jedoch die Hardware die dadurch angesprochen wird. Und das ganze würde dann auch auch nur mit NVDI und dem entsprechenden Treiber funktionieren.
Das macht IMHO keinen grossen Sinn, sehr viel einfacher wäre es, das fVDI-Natfeats interface in Hatari zu implementieren. Oder gleich die extended VDI-Funktion von Hatari nutzen (damit sind allerdings keine Bit-Tiefen als die vom jeweiligen TOS unterstützten möglich, also kein Hi- oder Truecolor, sehr wohl jedoch höhere Auflösungen).
PS.: die Hardware zu emulieren, würde vlt. eher der Philosophie von Hatari entsprechen. Ich glaube aber kaum, daß das ohne entsprechende Dokumentation so ohne weiteres möglich ist.