I share a document to access HW on L4 Linux.

[Taeung]

Thank you L4 Hackers.

You have help me in securing Ethernet on L4 Linux. So, I succeeded it.
I’m particularly grateful to Martin Schröder, Wei jin, Adam 
Lackorzynski, Matthias Lange.

Although there is already a document 'L4 Runtime Environments : Io, the 
Io server'
a link of which is http://os.inf.tu-dresden.de/L4Re/doc/io.html,
I made a guide document for accessing HW on L4 Linux because of ethernet 
example.
(I've used ARM platform Freescale i.MX6 Quad SABRESD )

This document is 
https://www.dropbox.com/s/abj9ao5uk9r3w72/The_Guide_to_access_HW_on_L4Linux_v1.0.pdf

I don’t know whether this document can help someone in accessing HW on 
L4Linux.
But I want to share this document in order to repay for l4hackers's 
kindness.

- Taeung -