IO

From TUDOS-Wiki

IO is the component of L4Re that initializes and manages that hardware platform and handles devices.