Changes between Version 2 and Version 3 of UsersGuide/CommandReference


Ignore:
Timestamp:
2011-05-22T08:57:52Z (13 years ago)
Author:
Jiri Svoboda
Comment:

i8259 is interrupt controller. Add OBIO and FHC.

Legend:

Unmodified
Added
Removed
Modified

  • UsersGuide/CommandReference

    v2 v3  
    3434|| srv || `eth` || Ethernet protocol service ||
    3535|| srv || `fat` || FAT file system service ||
     36|| srv || `fhc` || FHC interrupt controller driver ||
    3637|| srv || `fb` ||  Frame buffer service ||
    3738|| srv || `file_bd` || File-backed block device ||
    3839|| srv || `g_part` || GUID (EFI) partition driver ||
    3940|| srv || `i8042` || Intel 8042 PS/2 port driver ||
    40 || srv || `i8259` || Intel 8259 and later RS-232 serial port driver ||
     41|| srv || `i8259` || Intel 8259 interrupt controller driver ||
    4142|| srv || `icmp` || ICMP network protocol service ||
    4243|| srv || `ip` || IP network protocol service ||
    … …  
    4748|| srv || `net` || Networking service ||
    4849|| srv || `nildummy` || Dummy network interface ||
     50|| srv || `obio` || OBIO PCI interrupt controller driver ||
    4951|| srv || `taskmon` || Task monitoring service, initiate core dumps ||
    5052|| srv || `tcp` || TCP network protocol service ||