From reading this:
Is the Haskell source code available? Which “existing L4 specifications” do you recommend?
If the Haskell is the manual, where do I get the manual?
What manual gives the precise syntax for doing the memory VSpace calls in some (cross) supported language?

What is the content of the message delivered to the “thread’s page fault handler”?

In This paper:

Has the “abstract specification” been published?
Intel’s IOMMU p 9: