Expand description
rel4-linux-kit 配置 crate
这个 crate 中包含了整个系统的配置，需要在多个 crarte 中共享的配置信息。
Constants§
- CNODE_
RADIX_ BITS - 默认 CSpace 一级占用的 bits
- DEFAULT_
CUSTOM_ SLOT - 默认存储自定义 Capability 的 SLOT
- DEFAULT_
EMPTY_ SLOT_ INDEX - 默认服务可分配的 SLOT 开始的地址
- DEFAULT_
PARENT_ EP - 默认的父进程的 Endpoint
- DEFAULT_
SERVE_ EP - 默认的自身提供服务的 Endpoint
- DEFAULT_
THREAD_ NOTIFICATION - 默认的线程的提示
- DMA_
ADDR_ START - 默认的 DMA 分配开始的地址
- IPC_
DATA_ LEN - 通过 sel4::cap::Endpoint 发送一次数据最大数量
- LINUX_
APP_ CNODE_ RADIX_ BITS - Linux App 使用的 CNode bits
- PAGE_
MASK - 默认的页的 mask 位
- PAGE_
SIZE - 默认的物理页大小
- PL011_
ADDR - PL011 设备使用过的地址
- REG_LEN
- 通过 sel4::cap::Endpoint 发送数据时，reg 的大小
- SERIAL_
DEVICE_ IRQ - 串口的中断号
- SERVICE_
BOOT_ STACK_ SIZE - 服务任务在启动的时候使用的栈的大小
- SERVICE_
BOOT_ STACK_ TOP - 服务任务在启动的时候使用的栈的地址。
- SERVICE_
HEAP_ SIZE - 服务任务默认的堆大小
- SHARE_
PAGE_ START - 页共享使用的初始地址
- STACK_
ALIGN_ SIZE - 默认的栈对齐的大小
- VIRTIO_
MMIO_ ADDR - VIRTIO_MMIO 使用的地址
- VIRTIO_
MMIO_ BLK_ VIRT_ ADDR - VIRTIO 块设备使用的虚拟地址
- VIRTIO_
MMIO_ NET_ VIRT_ ADDR - VIRTIO 网络设备使用的虚拟地址
- VIRTIO_
MMIO_ VIRT_ ADDR - 将要被映射的偏移地址，设备虚拟地址 = VIRT_ADDR + 设备物理地址
- VIRTIO_
NET_ IRQ - VIRTIO 网络设备的中断号
- VIRT_
PL011_ ADDR - PL011 对应的虚拟地址