IO
From TUDOS-Wiki
IO is the component of L4Re that initializes and manages that hardware platform and handles devices.
- IO/config IO configurations
IO is the component of L4Re that initializes and manages that hardware platform and handles devices.