sel4_phdrs_constants/lib.rs
1//
2// Copyright 2026, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7#![no_std]
8
9const PT_LOOS: u32 = 0x6000_0000;
10
11const PT_SEL4_BASE: u32 = PT_LOOS + 0x4c3_4000; // "L4" -> 0x4c34
12
13pub const PT_SEL4_RESET_REGIONS: u32 = PT_SEL4_BASE + 1;
14pub const PT_SEL4_EMBEDDED_DEBUG_INFO: u32 = PT_SEL4_BASE + 2;
15pub const PT_SEL4_CAPDL_SPEC: u32 = PT_SEL4_BASE + 3;
16pub const PT_SEL4_CAPDL_FRAME_DATA: u32 = PT_SEL4_BASE + 4;
17pub const PT_SEL4_KERNEL_LOADER_PAYLOAD: u32 = PT_SEL4_BASE + 5;