Hello,
the L4 reference manual mentions IO-fpages. Has a L4 task its own IO address space containing IO-fpages, or maps L4 the IO-fpages into the user memory? It is said that always the complete IO space should be specified as receive fpage, why?
Thanks, Christian
l4-hackers@os.inf.tu-dresden.de