Don't think so, but it seems Wirth is revising the Project Oberon book. This time he'll include the design of his own RISC CPU, targeting a $100 FPGA board.
https://www.youtube.com/watch?v=BJIqHIYSDrk
Which Oberon system???
Genode would be useful, since it can run on the Pandaboard.
Here is an HN discussion of the Oberon system. I believe it was written in the language of the same name.