I managed to get early MirageOS suitably feature-complete enough that we could run the Mirage website using Mirage. This was all very satisfying after hacking on the TCP/IP stack for ages.
notes