Using IO-Server

Korbinian Ederer korbinian.ederer at
Wed Sep 10 14:24:51 CEST 2014

Hello Community,
I'm relative new to l4RE. My Goal is to get access to an Hardware Device 
which is Build in the Processor.
After some research i came to the conclusion that the IO-Server is the 
thing I need, but i have no clue how to invoke it.
It would be great if someone could supply a short example


More information about the l4-hackers mailing list