|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
| A port of an AhciController | |
| ATARE - ACPI table IRQ routing extraction | |
| Generic MP-save LIFO implementation | |
| Data that is stored by a service for every client | |
| A simple program that allows to get the UTCB pointer from the stack | |
| A simple per-cpu client | |
| A generic container that stores per-client data | |
| A clock returns the time in different time domains | |
| Consumer with fixed items | |
| A generic cpu state class | |
| A capability range descriptor; | |
| A bus is a way to connect devices | |
| The generic Device used in generic bus transactions | |
| Bridge between guest and host IOIO busses | |
| Bridge between guest and host memory | |
| Directly assign a host PCI device to the guest | |
| This template provides easy access to the Discovery Bus | |
| The parameters to distinguish different drives | |
| Client part of the disk protocol | |
| Helper class that replaces calls to init_frame() with calls to init_frame_noid() | |
| Generic protocol handling, hides the parent protocol handling | |
| Halifax: an instruction emulator | |
| This device usually comes as a PCIe card with two functions, each acting as a separate NIC with a few exceptions | |
| Provide access to the ACPI tables | |
| A simple driver for AHCI | |
| A single AHCI port with its command list and receive FIS buffer | |
| The register set of an AHCI port | |
| The register set of an AHCI controller | |
| Helper class that unifies functions for IDE+SATA disks | |
| Use the HPET as timer backend | |
| A simple IDE host driver | |
| A PS/2 host keyboard and mouse driver | |
| A simple ne2k pci driver, mainly used on qemu devices | |
| A helper for PCI config space access | |
| Program the PIT with a given frequency | |
| Reboot the host machine | |
| Readout the current time+date from the RTC | |
| A 16550 serial port driver | |
| A PCI 16550-based serial port driver | |
| A HostSink receives data over a serial bus, buffers them and outputs the buffer later via printf | |
| A Vesa console | |
| A helper for PCI config space access for virtual functions | |
| A VGA console | |
| An instruction cache that keeps decoded instructions | |
| The data that is cached between different runs | |
| Allocates capabilities from a certain range | |
| Provide IOIO access to the host | |
| I/OxAPIC model | |
| Route IRQ messages from host to guest | |
| A bridge on the keycode bus that converts keystrokes to ascii chars on the serial bus | |
| A kernel semaphore optimized for consumer/producer | |
| A PS2 keyboard controller | |
| Lapic model | |
| Missing: handle very-long strings | |
| A cache for physical memory indexed by page number | |
| A TLB implementation relying on the cache | |
| Set a drive on a port of an AHCI controller | |
| IPI-Message on the APIC bus | |
| VGA Console | |
| Resource discovery between device models is done by the virtual BIOS | |
| Request/read from the disk | |
| A disk.request is completed | |
| Request to the host, such as notify irq or request IO region | |
| A keycode or a mouse packet | |
| An in() from an ioport | |
| An out() to an ioport | |
| Raise an IRQ | |
| Notify that a level-triggered IRQ can be reraised | |
| Various messages of the legacy chips such as PIT, PPI.. | |
| A dword aligned memory access | |
| Request a region that is directly mapped into our memory | |
| A PCI config space transaction | |
| Message on the PIC bus | |
| Pit messages | |
| Message on the PS2 bus between a KeyboardController and a connected Keyboard/Mouse | |
| An ascii character from the serial port | |
| Returns the wall clock time in microseconds | |
| A timeout triggered | |
| Timer infrastructure | |
| VESA support | |
| A virtual motherboard is a collection of busses | |
| Forward Message Signaled IRQs to the local APICs | |
| Contains common code for nova programms | |
| Service that uses portals insted of semaphores as identifiers for sessions | |
| Device that ignores all operations | |
| Device that ignores all operations | |
| Packet consumer that supports variable sized packets | |
| Packet producer that supports variable sized packets | |
| The protocol our parent provides | |
| Provide HW PCI config space access by bridging PCI cfg read/write messages to the HW IO busses | |
| A PCI host bridge | |
| An implementation of the Intel 8259 | |
| A single counter of a PIT | |
| An implementation of the Intel 8254 | |
| Power Management Timer | |
| Producer with fixed items | |
| A helper class that implements a vga console and forwards message to sigma0 | |
| A PS2 keyboard gets characters on the hostbus as input and outputs scancodes on the ps2 bus | |
| A PS2 keyboard gets mouse packets the hostbus as input and outputs them on the ps2 bus | |
| A quantum+period descriptor | |
| Optimize the request of different resources and the rollback if one failes | |
| A region allocator | |
| Device model for the MC146818 realtime clock | |
| RTL8029 device model | |
| A SATA drive | |
| Simple scripting support | |
| Single script item | |
| A user semaphore optimized for the case where we do not block | |
| A Guard object for simplicity | |
| Implements a 16550 UART | |
| A bridge on the host bus that converts serial chars to keystrokes | |
| Sigma0 application class | |
| This class defines the legacy call interface to sigma0 services | |
| Define a static portal function | |
| This template converts from static receive to member functions | |
| Implements the systemcontrol ports A+B of a PS/2 system | |
| A template to simplify saving the utcb | |
| Keeping track of the timeouts | |
| An appreviated broken down time | |
| Tracebuffer service | |
| A VGA compatible device | |
| Virtual Bios disk routines | |
| Virtual Bios keyboard routines | |
| Virtual Bios mem routines | |
| Provide Multiboot support for the virtual BIOS | |
| Virtual Bios reset routines | |
| Provide a memory backed disk | |
| Service that uses semaphores as identifiers for sessions |