These seem to be missing from the system documentation, especially on how to use it with qemu. I've built the simulator, but am unsure how to use it. The build generates a libHSSEL4-0.3.a, but I can't find an executable anywhere. Also, the simulator manual says it is out-of-date, but the manual seems to include the Haskell literate sources directly. It also says the Haskell code is kept up-to-date. That sounds a bit contradictory. Are the comments in the sources that obsolete? --prashanth [Congratulations on the open-sourcing and excellent license choices!]