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 |