List of all items

Structs

• memory::pmm::Pmm
• memory::slab_allocator::SlabAllocator
• memory::vmm::Stack
• memory::vmm::Vmm
• object::KernelObjectId
• object::address_space::AddressSpace
• object::address_space::TaskSlot
• object::channel::ChannelEnd
• object::channel::Message
• object::event::Event
• object::memory_object::Inner
• object::memory_object::MemoryObject
• object::task::Handles
• 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_userspace
• object::alloc_kernel_object_id
• syscall::create_address_space
• syscall::handle_syscall
• syscall::poll_interest
• syscall::resize_memory_object
• syscall::spawn_task
• syscall::wait_for_event

Statics

• ALLOCATOR
• FRAMEBUFFER
• PCI_ACCESS
• PCI_INFO
• PMM
• VMM

Constants

• object::SENTINEL_KERNEL_ID