Module machine

machine level abstractions for architecture independent devices. FIXME: still having some x86 coupling.

Modules

• cgascr
• device_io
• interrupt
  a “machine” level interrupt controlling interface: so that the kernel could enable and disable the interrupt without differentiate the architectures currently not in use because we are not so complicated yet. Perhaps this helper will deem unnecessary in the future …
• key
• keyctrl
  Driver for the PS/2 keybard/mouse controller
• multiboot
  provide functions to parse information provided by grub multiboot see docs/multiboot.txt
• serial
  serial output through port 3f8 (qemu), stateless, non-blocking, non-locking, not thread safe.
• time
  system level timer