- No 64bit TLB support
- no 64bit wide registers for FPU
- 64bit mul/div handling broken
-- DM[FT]C not implemented, M[FT]C does not cut sign extensions in all
- cases.
"Generic" 4Kc system emulation
------------------------------
MALTA system emulation
----------------------
- We fake firmware support instead of doing the real thing
-- Linux 2.4/2.6 Kernels receive spurious PIIX4 interrupts, noisy on 2.4,
- silent on 2.6, indicates some divergence from actual hardware.
+- Real firmware falls over when trying to init RAM, presumably due
+ to lacking I2C emulation.