List of all items

Constants

• config::ARCH
• config::PACKAGE
• config::PLATFORM
• config::devices::GED_PADDR
• config::devices::IPI_IRQ
• config::devices::MMIO_RANGES
• config::devices::PCI_BUS_END
• config::devices::PCI_ECAM_BASE
• config::devices::PCI_RANGES
• config::devices::RTC_PADDR
• config::devices::TIMER_FREQUENCY
• config::devices::TIMER_IRQ
• config::devices::UART_PADDR
• config::devices::VIRTIO_MMIO_RANGES
• config::plat::BOOT_STACK_SIZE
• config::plat::KERNEL_ASPACE_BASE
• config::plat::KERNEL_ASPACE_SIZE
• config::plat::KERNEL_BASE_PADDR
• config::plat::KERNEL_BASE_VADDR
• config::plat::MAX_CPU_NUM
• config::plat::PHYS_BUS_OFFSET
• config::plat::PHYS_MEMORY_BASE
• config::plat::PHYS_MEMORY_SIZE
• config::plat::PHYS_VIRT_OFFSET