= Drivers =

== SoCLib components ==

 * Interrupt controller units
  * vci_icu
  * vci_xicu
 * Timer units
  * vci_multi_timer
  * vci_xicu
 * TTY units
  * vci_multi_tty
  * vci_log_console
 * Block devices
  * vci_ramdisk
  * vci_block_device
 * Framebuffer
  * vci_fb_controller

== IBM PC components ==

 * Interrupt controller units
  * pic
 * Timer units
  * 8253
 * TTY units
  * VGA
 * UART units
  * 8250 (standart PC timer)
 * Block devices
  * ATA
 * Network controllers
  * ne2000 pci
 * Framebuffer
  * VGA

== Microcontroller devices ==

 * Interrupt controller units
  * SAM7 AIC
 * Twi (i2c)
  * Atmel 6061 (SAM7, SAM9)
 * SPI
  * Atmel 6088 (SAM7, SAM9)
 * UART
  * Atmel 6089 (SAM7, SAM9)
  * ARM7-TDMI JTAG messages
 * GPIO controller

=== Generic device controllers ===

 * SPI-based SD/MMC controller
 * SPI-based s1d15g00 & pcf8833 (Nokia 6610 LCD) drivers
 * GPIO-based simple joystick controller

== EMU-based controllers ==

 * TTY units
  * console-based driver
 * Network controllers
  * tun/tap driver, to get a virtual network controller