NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
ab | |
Bcd | |
Endian | |
Global | |
AcpiMCFG | |
AdmissionProtocol | |
AhciPort | A port of an AhciController |
App | |
Array | |
Atare | ATARE - ACPI table IRQ routing extraction |
AtomicLifo | Generic MP-save LIFO implementation |
Base82576 | |
Base82576VF | |
BASE_SSERVICE | |
BaseClientData | Data that is stored by a service for every client |
BaseProgram | A simple program that allows to get the UTCB pointer from the stack |
BaseService | |
BaseSService | |
BasicHpet | |
BasicRtc | |
BiosCommon | |
Buffer | |
CapAllocator | |
CapAllocatorAtomic | |
CapAllocatorAtomicPartition | |
Client | A simple per-cpu client |
ClientDataStorage | A generic container that stores per-client data |
Clock | A clock returns the time in different time domains |
ClockSyncInfo | |
Closure | |
Cmdline | |
CommandStr | |
Config | |
ConfigProtocol | |
Consumer | Consumer with fixed items |
Cpu | |
CpuEvent | |
CpuMessage | |
CpuState | A generic cpu state class |
Crd | A capability range descriptor; |
Cycleburner | |
DBus | A bus is a way to connect devices |
Desc | |
Descriptor | |
Device | The generic Device used in generic bus transactions |
DirectIODevice | Bridge between guest and host IOIO busses |
DirectMemDevice | Bridge between guest and host memory |
DirectPciDevice | Directly assign a host PCI device to the guest |
DiscoveryHelper | This template provides easy access to the Discovery Bus |
Disk | |
DiskClient | |
DiskNameCheck | |
DiskParameter | The parameters to distinguish different drives |
DiskProtocol | Client part of the disk protocol |
DiskService | |
dma_desc | |
DmaDesc | |
DmaDescriptor | |
DmarTableParser | |
donor_buffer | |
dwords | |
EchoClient | |
EchoProtocol | |
EchoProtocolNoXlate | |
EchoService | |
EchoTest | |
eh32 | |
Elf | |
Entry | |
EthernetAddr | |
EventService | |
EventsProtocol | |
FisReceiver | |
FsProtocol | |
GenericClientData | |
GenericKeyboard | |
GenericNoXlateProtocol | Helper class that replaces calls to init_frame() with calls to init_frame_noid() |
GenericProtocol | Generic protocol handling, hides the parent protocol handling |
GPT | |
GsiOverride | |
Gt | |
Halifax | Halifax: an instruction emulator |
Hello | |
Hip | |
Hip_cpu | |
Hip_mem | |
Host82573 | |
Host82576 | This device usually comes as a PCIe card with two functions, each acting as a separate NIC with a few exceptions |
Host82576VF | |
HostAcpi | Provide access to the ACPI tables |
HostAhci | A simple driver for AHCI |
HostAhciPort | A single AHCI port with its command list and receive FIS buffer |
HostAhciPortRegister | The register set of an AHCI port |
HostAhciRegister | The register set of an AHCI controller |
HostGenericAta | Helper class that unifies functions for IDE+SATA disks |
HostHpet | Use the HPET as timer backend |
HostIde | A simple IDE host driver |
HostKeyboard | A PS/2 host keyboard and mouse driver |
HostNe2k | A simple ne2k pci driver, mainly used on qemu devices |
HostPci | A helper for PCI config space access |
HostPit | Program the PIT with a given frequency |
HostReboot | Reboot the host machine |
HostRtc | Readout the current time+date from the RTC |
HostSerial | A 16550 serial port driver |
HostSerialPci | A PCI 16550-based serial port driver |
HostSink | A HostSink receives data over a serial bus, buffers them and outputs the buffer later via printf |
HostVesa | A Vesa console |
HostVfPci | A helper for PCI config space access for virtual functions |
HostVga | A VGA console |
incoming_packet | |
InstructionCache | An instruction cache that keeps decoded instructions |
InstructionCacheEntry | The data that is cached between different runs |
InternalCapAllocator | Allocates capabilities from a certain range |
IntroAnimator | |
IOAccess | Provide IOIO access to the host |
IOApic | I/OxAPIC model |
IPChecksum | |
IPChecksumState | |
IpRelay | |
IRQRouting | Route IRQ messages from host to guest |
KbdSerialBridge | A bridge on the keycode bus that converts keystrokes to ascii chars on the serial bus |
KernelSemaphore | A kernel semaphore optimized for consumer/producer |
KeyboardController | A PS2 keyboard controller |
Lapic | Lapic model |
LapicEvent | |
linux_kernel_header | |
List | |
ListEntry | |
LockedList | |
LogDiskMan | |
Logging | |
LogProtocol | Missing: handle very-long strings |
Lvm | |
mallinfo | |
malloc_chunk | |
malloc_params | |
malloc_segment | |
malloc_state | |
malloc_tree_chunk | |
Math | |
mbi | |
MemCache | A cache for physical memory indexed by page number |
MemoryController | |
MemTlb | A TLB implementation relying on the cache |
MessageAcpi | |
MessageAhciSetDrive | Set a drive on a port of an AHCI controller |
MessageApic | IPI-Message on the APIC bus |
MessageBios | |
MessageConsole | VGA Console |
MessageDiscovery | Resource discovery between device models is done by the virtual BIOS |
MessageDisk | Request/read from the disk |
MessageDiskCommit | A disk.request is completed |
MessageHostOp | Request to the host, such as notify irq or request IO region |
MessageHwIOIn | |
MessageHwIOOut | |
MessageHwPciConfig | |
MessageInput | A keycode or a mouse packet |
MessageIOIn | An in() from an ioport |
MessageIOOut | An out() to an ioport |
MessageIrq | Raise an IRQ |
MessageIrqLines | |
MessageIrqNotify | Notify that a level-triggered IRQ can be reraised |
MessageLegacy | Various messages of the legacy chips such as PIT, PPI.. |
MessageMem | A dword aligned memory access |
MessageMemRegion | Request a region that is directly mapped into our memory |
MessageNetwork | |
MessagePciConfig | A PCI config space transaction |
MessagePic | Message on the PIC bus |
MessagePit | Pit messages |
MessagePS2 | Message on the PS2 bus between a KeyboardController and a connected Keyboard/Mouse |
MessageSerial | An ascii character from the serial port |
MessageTime | Returns the wall clock time in microseconds |
MessageTimeout | A timeout triggered |
MessageTimer | Timer infrastructure |
MessageVesa | VESA support |
mmap | |
Model82576vf | |
module | |
Motherboard | A virtual motherboard is a collection of busses |
Msi | Forward Message Signaled IRQs to the local APICs |
Mta | |
MultiEntranceLock | |
NICInfo | |
NovaProgram | Contains common code for nova programms |
NoXlateSService | Service that uses portals insted of semaphores as identifiers for sessions |
NubusManager | |
NullIODevice | Device that ignores all operations |
NullMemDevice | Device that ignores all operations |
outgoing_packet | |
PacketConsumer | Packet consumer that supports variable sized packets |
PacketProducer | Packet producer that supports variable sized packets |
ParentIrqProvider | |
ParentPerf | |
ParentProtocol | The protocol our parent provides |
Partition | |
PCIBus | |
PciConfigAccess | Provide HW PCI config space access by bridging PCI cfg read/write messages to the HW IO busses |
PCIDevice | |
PciDriver | |
PciHelper | |
PciHostBridge | A PCI host bridge |
PciMMConfigAccess | |
PerCpuIdClientData | |
PerCpuService | |
PerCpuTimerService | |
ph32 | |
pheader | |
PicDevice | An implementation of the Intel 8259 |
Ping | |
PingPong | |
PitCounter | A single counter of a PIT |
PitDevice | An implementation of the Intel 8254 |
PlasmaAnimator | |
PmTimer | Power Management Timer |
Pong | |
Producer | Producer with fixed items |
ProgramConsole | A helper class that implements a vga console and forwards message to sigma0 |
PS2Keyboard | A PS2 keyboard gets characters on the hostbus as input and outputs scancodes on the ps2 bus |
PS2Mouse | A PS2 keyboard gets mouse packets the hostbus as input and outputs them on the ps2 bus |
Qpd | A quantum+period descriptor |
Queue | |
Quicksort | |
QuotaGuard | Optimize the request of different resources and the rollback if one failes |
QuoteAnimator | |
ReceiveBufferDescriptor | |
Region | |
RegionList | A region allocator |
Remcon | |
Rocknshine | |
Rtc146818 | Device model for the MC146818 realtime clock |
Rtl8029 | RTL8029 device model |
rx_desc | |
s0_AdmissionProtocol | |
s0_ParentProtocol | |
S0Disk | |
SataDrive | A SATA drive |
Screen | |
Script | Simple scripting support |
ScriptItem | Single script item |
Semaphore | A user semaphore optimized for the case where we do not block |
SemaphoreGuard | A Guard object for simplicity |
SerialDevice | Implements a 16550 UART |
SerialKbdBridge | A bridge on the host bus that converts serial chars to keystrokes |
Service_config | |
Service_ElfFs | |
Service_fs | |
Service_ModuleFs | |
ServiceProgram | |
sh32 | |
Sha1 | |
Sigma0 | Sigma0 application class |
Sigma0Base | This class defines the legacy call interface to sigma0 services |
snprintf_data | |
SServiceProgram | |
StartStop | |
StaticPortalFunc | Define a static portal function |
StaticReceiver | This template converts from static receive to member functions |
SystemControlPort | Implements the systemcontrol ports A+B of a PS/2 system |
TemporarySave | A template to simplify saving the utcb |
Test | |
TextAnimator | |
TextBuffer | |
TimeoutList | Keeping track of the timeouts |
TimerHelper | |
TimerProtocol | |
TimerTest | |
TINF_DATA | |
TINF_TREE | |
tm_simple | An appreviated broken down time |
Topology | |
Tracebuffer | Tracebuffer service |
Tutor | |
udwords | |
Utcb | |
UtcbBounds | |
Uuid | |
uuid_pod | |
Vbe | |
VBios | |
VCpu | |
Vga | A VGA compatible device |
VgaRegs | |
VirtualBiosDisk | Virtual Bios disk routines |
VirtualBiosKeyboard | Virtual Bios keyboard routines |
VirtualBiosMem | Virtual Bios mem routines |
VirtualBiosMultiboot | Provide Multiboot support for the virtual BIOS |
VirtualBiosReset | Virtual Bios reset routines |
VirtualBiosTime | |
VirtualCpu | |
VirtualDisk | Provide a memory backed disk |
VirtualNetMessage | |
VirtualNetService | |
Vprintf | |
WvProgram | |
WvTest | |
XlateSService | Service that uses semaphores as identifiers for sessions |