sleffler
commented
1 year ago It is likely your board config differs from the "rpi3" config; you want to find where it differs and modify the existing config or add something specific for your hw. I assume you've tried booting stock seL4 already?
Otherwise, check the kernel's memory config; e.g. in the build area:
cat kernel/gen_headers/plat/machine/platform_gen.yaml devices:
- end: 0x40000000 start: 0x8000000
- end: 0x10000000000 start: 0x40001000 memory:
- end: 0x8000000 start: 0x0
and enable startup debugging in the MemoryManger component to see what memory is being handed off:
@.***:~/shodan/cantrip/projects/cantrip/apps/system/components/MemoryManager/cantrip-memory-manager$ git diff diff --git a/apps/system/components/MemoryManager/cantrip-memory-manager/Cargo.toml b/apps/system/components/MemoryManager/cantrip-memory-manager/Cargo.toml index 6e274ca..536977e 100644 --- a/apps/system/components/MemoryManager/cantrip-memory-manager/Cargo.toml +++ b/apps/system/components/MemoryManager/cantrip-memory-manager/Cargo.toml @@ -5,7 +5,7 @@ description = "Cantrip OS MemoryManager service" edition = "2021"
[features] -default = [] +default = ["CONFIG_NOISY_UNTYPEDS"]
Log UntypedMemory slabs at startup.
CONFIG_NOISY_UNTYPEDS = []
Remove the default cmds from $ROOTDIR/build/platforms/rpi3/autostart.repl in case something in there is triggering the problem.
If you still panic before you get to a "shell prompt" try turning on debugging in the rootserver to see how it's setting up memory; e.g.
@.***:~/shodan/cantrip/projects/capdl/cantrip-os-rootserver$ git diff diff --git a/cantrip-os-rootserver/Cargo.toml b/cantrip-os-rootserver/Cargo.toml index 1c55d25..24e4bbb 100644 --- a/cantrip-os-rootserver/Cargo.toml +++ b/cantrip-os-rootserver/Cargo.toml @@ -23,7 +23,7 @@ build = "build.rs" sel4-config = { path = "../../cantrip/apps/system/components/cantrip-os-common/src/sel4-config" }
[features] -default = [] +default = ["LOG_TRACE"] CONFIG_PLAT_BCM2837 = [] CONFIG_PLAT_SHODAN = []
Used by sel4-config to extract kernel config
On Mon, May 22, 2023 at 5:29 PM lopzek @.***> wrote:
Procedures to reproduce the bug:
- set up the environment and run m simulate command. The image run just fine in QEMU.
- Copy the elfloader file produced in out/cantrip/aarch64-unknown-elf/release/elfloader to a sd card with u-boot installed.
- Using u-boot to load the elfloader by command load mmc 0 0x10000000 elfloaderinto memory
- start the OS using command bootelf 0x10000000, and the error occured.
- I also tried to load the ext_builtins.cpio file to memory address 0x20000000 and started the kernel again. the error were the same.
here's the log:
U-Boot> load mmc 0 0x10000000 elfloader 2334024 bytes read in 101 ms (22 MiB/s) U-Boot> bootelf 0x10000000## Starting application at 0x0033c000 ...
ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4 paddr=[33c000..5660ff] No DTB passed in from boot loader. Looking for DTB in CPIO archive...found at 37f778. Loaded DTB from 37f778. paddr=[237000..23afff] ELF-loading image 'kernel' to 0 paddr=[0..236fff] vaddr=[ffffff8000000000..ffffff8000236fff] virt_entry=ffffff8000000000 ELF-loading image 'capdl-loader' to 23b000 paddr=[23b000..33bfff] vaddr=[400000..500fff] virt_entry=4006a8 Enabling MMU and paging Jumping to kernel-image entry point...
Bootstrapping kernel Booting all finished, dropped to user space cantrip_os_rootserver::Bootinfo: (344, 131072) empty slots 1 nodes (15, 77) untyped 131072 cnode slots cantrip_os_rootserver::Model: 353 objects 1 irqs 0 untypeds 2 asids cantrip_os_rootserver::capDL spec: 0.06 Mbytes cantrip_os_rootserver::CAmkES components: 0.46 Mbytes cantrip_os_rootserver::Rootserver executable: 0.48 Mbytes<<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>><<seL4(CPU 0) [decodeARMFrameInvocation/2137 T0xffffff8000341400 "" @410aac]: ARMPageMap: Attempting to remap a frame that does not belong to the passed address space>>cantrip_os_rootserver::Rootserver cnode: 751 used of 10000cantrip_os_rootserver::Rootserver untypeds: 76 used of 230<<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40ad3c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40adb4]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40afa0]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>><<seL4(CPU 0) [decodeCNodeInvocation/107 T0xffffff8000341400 "" @40b03c]: CNode Copy/Mint/Move/Mutate: Source slot invalid or empty.>>CANTRIP> source -q autostart.replCANTRIP> EOFcantrip_memory_manager::Global memory: 0 allocated 130543360 free, reserved: 2273280 kernel 1359872 user<<seL4(CPU 0) [decodeUntypedInvocation/132 T0xffffff800213ec00 "" @40585c]: Untyped Retype: Destination cap invalid or read-only.>>panic::panicked at 'static allocation failed: seL4_FailedLookup', cantrip-memory-manager/src/memory_manager/mod.rs:245:21
— Reply to this email directly, view it on GitHub https://github.com/AmbiML/sparrow-cantrip-full/issues/10, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABRM7IO74KLLZLNPY5APOK3XHQAGXANCNFSM6AAAAAAYLD2R5Q . You are receiving this because you are subscribed to this thread.Message ID: @.***>
lopzek
Procedures to reproduce the bug:
m simulatecommand. The image run just fine in QEMU.out/cantrip/aarch64-unknown-elf/release/elfloaderto a sd card with u-boot installed.load mmc 0 0x10000000 elfloaderinto memorybootelf 0x10000000, and the error occured.ext_builtins.cpiofile to memory address0x20000000and started the kernel again. the error were the same.here's the log:
I also tried boot by tftp and turn the
CONFIG_NOISY_UNTYPEDSfeature on in the momory_managerCargo.toml. Here's the log: