List of all items

Structs

• memory::KernelStackAllocator
• memory::PhysicalMemoryManager
• memory::SlabAllocator
• memory::Stack
• object::KernelObjectId
• object::address_space::AddressSpace
• object::address_space::TaskSlot
• object::channel::ChannelEnd
• object::channel::Message
• object::event::Event
• object::memory_object::MemoryObject
• object::task::Task
• pci::PciDevice
• pci::PciInfo
• pci::PciResolver
• scheduler::CpuScheduler
• scheduler::Scheduler
• tasklets::TaskletScheduler
• tasklets::queue::QueueConsumer
• tasklets::queue::QueueProducer
• tasklets::queue::ReadGrant
• tasklets::queue::SpscQueue
• tasklets::queue::WriteGrant

Enums

• object::KernelObjectType
• object::address_space::State
• object::task::TaskBlock
• object::task::TaskCreationError
• object::task::TaskState

Traits

• Platform
• object::KernelObject
• pci::PciInterruptConfigurator

Functions

• create_framebuffer
• initialize_pci
• load_task
• object::alloc_kernel_object_id
• syscall::handle_syscall
• syscall::poll_interest
• syscall::wait_for_event

Statics

• ALLOCATOR
• FRAMEBUFFER
• PCI_ACCESS
• PCI_INFO
• PHYSICAL_MEMORY_MANAGER

Constants

• object::SENTINEL_KERNEL_ID