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
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?
[Congratulations on the open-sourcing and excellent license choices!]