Unsolved issues/bugs in the mips/mipsel backend
-----------------------------------------------

General
-------
- [ls][dw][lr] report broken (aligned) BadVAddr
- Missing per-CPU instruction decoding, currently all implemented
  instructions are regarded as valid
- Applications running on top of a emulated Linux segfault sometimes
  when the Qemu FPU emulation is disabled. This is apparently a qemu
  bug triggered by the Linux in-kernel FPU emulator.
- The Timesys Linux installer shell hangs for e.g. "read foo". Likewise,
  telnet'ting in the installer fails and hangs the telnetd.

MIPS64
------
- No 64bit TLB support
- no 64bit wide registers for FPU
- 64bit mul/div handling broken

"Generic" 4Kc system emulation
------------------------------
- Doesn't correspond to any real hardware.

PICA 61 system emulation
------------------------
- No framebuffer support yet.

MALTA system emulation
----------------------
- We fake firmware support instead of doing the real thing
- Real firmware falls over when trying to init RAM, presumably due
  to lacking system controller emulation.