Using IO-Server

Korbinian Ederer <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
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

Thanks
Korbinian
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.