# \#arm **URL:** https://sel4.discourse.group/tag/arm/2.md [Latest](https://sel4.discourse.group/latest.md) · [Categories](https://sel4.discourse.group/categories.md) · [Tags](https://sel4.discourse.group/tags.md) --- ## [Vm\_minimal example on ZCU-102 board](https://sel4.discourse.group/t/vm-minimal-example-on-zcu-102-board/1081)
**Author:** [@matteoz](https://sel4.discourse.group/u/matteoz)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 4:19pm UTC](https://sel4.discourse.group/t/vm-minimal-example-on-zcu-102-board/1081 "2026-09-22T16:19:16Z")
Hi everyone, I’m trying to test seL4 with CAmkES on a ZCU-102 board by Xilinx and I’m stuck trying to boot the vm\_minimal example. I followed the steps provided here, but when I try to boot it on the hardware, the load… --- ## [Cohesix 0.4.0-alpha released](https://sel4.discourse.group/t/cohesix-0-4-0-alpha-released/1032)
**Author:** [@lukeb-aidev](https://sel4.discourse.group/u/lukeb-aidev)\ **Replies:** 1\ **Last updated:** [February 8, 2026, 8:41am UTC](https://sel4.discourse.group/t/cohesix-0-4-0-alpha-released/1032 "2026-02-08T08:41:00Z")
Cohesix is an open-source control-plane OS designed for GPU Hive Management and MLOps, built on seL4 for aarch64. Cohesix 0.4.0-alpha released: Authoritative scheduling/lease/export/policy control grammar with /proc o… --- ## [About seL4 Developer Kit](https://sel4.discourse.group/t/about-sel4-developer-kit/996)
**Author:** [@skybuf](https://sel4.discourse.group/u/skybuf)\ **Replies:** 3\ **Last updated:** [July 25, 2025, 9:46am UTC](https://sel4.discourse.group/t/about-sel4-developer-kit/996 "2025-07-25T09:46:30Z")
Hi All, When I was studying the 4.2. Build Environment Setup section in the developer kit, I always got a message “Unauthorized” when I executed the “make pull IMAGE=dep” command. I set up PAT on GitHub, enabled the rea… --- ## [Building SeL4 directly on MacOS](https://sel4.discourse.group/t/building-sel4-directly-on-macos/983)
**Author:** [@josephg](https://sel4.discourse.group/u/josephg)\ **Replies:** 7\ **Last updated:** [May 22, 2025, 8:52am UTC](https://sel4.discourse.group/t/building-sel4-directly-on-macos/983 "2025-05-22T08:52:34Z")
Hi everyone! I’m pretty new to building on top of SeL4. I have a m1 mac laptop. Personally I hate docker, so I figured I’d get sel4 building directly on macos instead. Well, a few hours of nonsense and I have it buildi… --- ## [Root CNode Inaccessible After seL4\_TCB\_SetSpace (Guard 0, Radix 12)](https://sel4.discourse.group/t/root-cnode-inaccessible-after-sel4-tcb-setspace-guard-0-radix-12/978)
**Author:** [@sevenautumns](https://sel4.discourse.group/u/sevenautumns)\ **Replies:** 3\ **Last updated:** [May 20, 2025, 11:44am UTC](https://sel4.discourse.group/t/root-cnode-inaccessible-after-sel4-tcb-setspace-guard-0-radix-12/978 "2025-05-20T11:44:48Z")
Hello, I am currently trying to change the cspace of my sel4 root task so that the root cnode only occupies 12 of my available 64 bits. This works to some degree. I use seL4\_TCB\_SetSpace to change the guard size to 0. … --- ## [Communicating with EL3/Secure-EL1 services from EL0](https://sel4.discourse.group/t/communicating-with-el3-secure-el1-services-from-el0/967)
**Author:** [@BlamKiwi](https://sel4.discourse.group/u/BlamKiwi)\ **Replies:** 1\ **Last updated:** [May 19, 2025, 6:57pm UTC](https://sel4.discourse.group/t/communicating-with-el3-secure-el1-services-from-el0/967 "2025-05-19T18:57:30Z")
I’m evaluating moving an existing project to seL4. We have a hardware driver that would need to remain in as part of the Secure World firmware. What would be the intended way for an seL4 EL0 process to communicate with a… --- ## [Issue with seL4 & ARMv8 config for MMU](https://sel4.discourse.group/t/issue-with-sel4-armv8-config-for-mmu/940)
**Author:** [@Misbah](https://sel4.discourse.group/u/Misbah)\ **Replies:** 29\ **Last updated:** [February 28, 2025, 11:52am UTC](https://sel4.discourse.group/t/issue-with-sel4-armv8-config-for-mmu/940 "2025-02-28T11:52:36Z")
Dear Community members, I have used maaxboard bsp in amother armv8 cortex-a53 processor (same as maaxboard) & facing below issue specially related to mmu: In the elfloader crt0.s file if i add the below code to disab… --- ## [CAmkES component termination](https://sel4.discourse.group/t/camkes-component-termination/945)
**Author:** [@ZippyManaic](https://sel4.discourse.group/u/ZippyManaic)\ **Replies:** 4\ **Last updated:** [February 26, 2025, 4:22pm UTC](https://sel4.discourse.group/t/camkes-component-termination/945 "2025-02-26T16:22:06Z")
Hi, I have a requirement to terminate a CAmkES component to ensure it stops and can never be restarted (apart from a system reboot). I know all resources used by the components tasks will not be recoverable. Is there a\[… --- ## [seL4bench test getting stuck at ((init\_arm\_kernel\_t)kernel\_info.virt\_entry)](https://sel4.discourse.group/t/sel4bench-test-getting-stuck-at-init-arm-kernel-t-kernel-info-virt-entry/904)
**Author:** [@Init\_vishal](https://sel4.discourse.group/u/Init_vishal)\ **Replies:** 4\ **Last updated:** [January 20, 2025, 11:38am UTC](https://sel4.discourse.group/t/sel4bench-test-getting-stuck-at-init-arm-kernel-t-kernel-info-virt-entry/904 "2025-01-20T11:38:57Z")
Dear seL4 community members, I am trying to run seL4bench for Arm 53 Core platform, but it is getting stuck. Whereas, I am able to run seL4test application with the same ELF-loader & seL4 Microkernel which just boots f… --- ## [SMP on QEMU is failing](https://sel4.discourse.group/t/smp-on-qemu-is-failing/916)
**Author:** [@jyothigo](https://sel4.discourse.group/u/jyothigo)\ **Replies:** 2\ **Last updated:** [November 4, 2024, 6:15am UTC](https://sel4.discourse.group/t/smp-on-qemu-is-failing/916 "2024-11-04T06:15:34Z")
Getting below error while enabling smp on Qemu HVS not supported for PSCI falied to boot cpu 0x1: 18446744073709551615 abort() called command used: …/init-build.sh -DPLATFORM=qemu-arm-virt -DAARCH64=1 -DSMP=1 -DNUM\_NOD… --- ## [Debugging seL4 elfloader using lauterbach failed to step into c code](https://sel4.discourse.group/t/debugging-sel4-elfloader-using-lauterbach-failed-to-step-into-c-code/921)
**Author:** [@anishkhannayellapu](https://sel4.discourse.group/u/anishkhannayellapu)\ **Replies:** 3\ **Last updated:** [November 4, 2024, 9:14am UTC](https://sel4.discourse.group/t/debugging-sel4-elfloader-using-lauterbach-failed-to-step-into-c-code/921 "2024-11-04T09:14:00Z")
Hi Team, Setup: seL4 Version : 13 Debugging: Debugging ELFloader code Platform: arm64 Build Type: CMAKE\_BUILD\_TYPE:STRING=Debug I have compiled the seL4 for arm64 based hardware and able to run seL4 kernel from elf… --- ## [Request to map a specific physical address from a userspace application](https://sel4.discourse.group/t/request-to-map-a-specific-physical-address-from-a-userspace-application/655)
**Author:** [@mskordal](https://sel4.discourse.group/u/mskordal)\ **Replies:** 3\ **Last updated:** [October 30, 2024, 10:48pm UTC](https://sel4.discourse.group/t/request-to-map-a-specific-physical-address-from-a-userspace-application/655 "2024-10-30T22:48:38Z")
I have managed to boot sel4 on ZCU102 using the instructions from the following link: https://docs.sel4.systems/Hardware/ZCU102.html I want to map a specific physical address into a userspace application. The addresses… --- ## [seL4::arm64::armv8::Write to processor register is causing halt in user space](https://sel4.discourse.group/t/sel4-write-to-processor-register-is-causing-halt-in-user-space/917)
**Author:** [@Misbah](https://sel4.discourse.group/u/Misbah)\ **Replies:** 1\ **Last updated:** [October 30, 2024, 1:28pm UTC](https://sel4.discourse.group/t/sel4-write-to-processor-register-is-causing-halt-in-user-space/917 "2024-10-30T13:28:42Z")
Hi All, I am trying to write a user space driver under “util\_lib” folder for my latest seL4 port on arm64 cortexA53 based h/w. There are memory mapped registers which i am trying to access. The read to those register s… --- ## [Register writes to UART register in util\_libs driver is not working on seL4](https://sel4.discourse.group/t/register-writes-to-uart-register-in-util-libs-driver-is-not-working-on-sel4/911)
**Author:** [@anishkhannayellapu](https://sel4.discourse.group/u/anishkhannayellapu)\ **Replies:** 11\ **Last updated:** [October 8, 2024, 10:15am UTC](https://sel4.discourse.group/t/register-writes-to-uart-register-in-util-libs-driver-is-not-working-on-sel4/911 "2024-10-08T10:15:53Z")
Hi Team, I am working on bringing up on seL4 on one of the ARM based 64bit architecture. Able to get serial up and running in elf-loader and kernel, in both cases initialization is used from u-boot and putchar is used … --- ## [\[Kernel\] Caught cap fault in send phase while trying to handle vm fault](https://sel4.discourse.group/t/kernel-caught-cap-fault-in-send-phase-while-trying-to-handle-vm-fault/879)
**Author:** [@Init\_vishal](https://sel4.discourse.group/u/Init_vishal)\ **Replies:** 2\ **Last updated:** [September 17, 2024, 11:23am UTC](https://sel4.discourse.group/t/kernel-caught-cap-fault-in-send-phase-while-trying-to-handle-vm-fault/879 "2024-09-17T11:23:18Z")
Hi seL4 community, I have ported sel4 to NXP S32G RBD3 board. It runs fine till kernel but just before dropping to the user space. after that in the debug serial terminal, i am encountering below errors : "Caught cap… --- ## [Rust call cause "vm fault on data at address"](https://sel4.discourse.group/t/rust-call-cause-vm-fault-on-data-at-address/865)
**Author:** [@BDUG](https://sel4.discourse.group/u/BDUG)\ **Replies:** 14\ **Last updated:** [September 12, 2024, 12:12pm UTC](https://sel4.discourse.group/t/rust-call-cause-vm-fault-on-data-at-address/865 "2024-09-12T12:12:43Z")
While calling unsafe { value = ptr::read\_volatile(region.starting\_address as \*const u32) } I get Caught cap fault in send phase at address 0 while trying to handle: vm fault on data at address 0xa000000 wit… --- ## [Strange kernel exception while volatile access (#Rust)](https://sel4.discourse.group/t/strange-kernel-exception-while-volatile-access-rust/882)
**Author:** [@BDUG](https://sel4.discourse.group/u/BDUG)\ **Replies:** 0\ **Last updated:** [September 7, 2024, 2:37pm UTC](https://sel4.discourse.group/t/strange-kernel-exception-while-volatile-access-rust/882 "2024-09-07T14:37:33Z")
I receive the following failure vm fault on data at address 0x203800 with status 0x92000010 in thread 0x807ff49400 "rootserver" at address 0x253504 With stack: 0x2a29f0: 0x2a2960 It happens when I call ptr::read\_volat… --- ## [invalidateLocalTLB() is getting stucked in sel4 kerenl](https://sel4.discourse.group/t/invalidatelocaltlb-is-getting-stucked-in-sel4-kerenl/871)
**Author:** [@Init\_vishal](https://sel4.discourse.group/u/Init_vishal)\ **Replies:** 0\ **Last updated:** [September 1, 2024, 7:10pm UTC](https://sel4.discourse.group/t/invalidatelocaltlb-is-getting-stucked-in-sel4-kerenl/871 "2024-09-01T19:10:27Z")
Hi, I am trying to port sel4 for NXP S32g (Arm 53 Core) platform. I am able to prepare and bring-up the Elf-loader using u-boot targeted to S32G platform for seL4 on ARM 53core. Elf-loader is able to load and jump to t… --- ## [Bootelf vs elfloader with respect to SEL4](https://sel4.discourse.group/t/bootelf-vs-elfloader-with-respect-to-sel4/856)
**Author:** [@anishkhannayellapu](https://sel4.discourse.group/u/anishkhannayellapu)\ **Replies:** 2\ **Last updated:** [August 26, 2024, 10:13am UTC](https://sel4.discourse.group/t/bootelf-vs-elfloader-with-respect-to-sel4/856 "2024-08-26T10:13:18Z")
Hi Team, I have started working on SEL4, porting to a latest ARM64 based hardware. In majority of hardware’s using bootelf or bootm. Now i want to understand when using bootelf, which is uboot elfloader. Still we need … --- ## [VSpace Address 0xDD00\_0000 - 0xDD20\_0000 in Qemu Virt?](https://sel4.discourse.group/t/vspace-address-0xdd00-0000-0xdd20-0000-in-qemu-virt/851)
**Author:** [@j1mst1x.dev](https://sel4.discourse.group/u/j1mst1x.dev)\ **Replies:** 1\ **Last updated:** [July 11, 2024, 4:03pm UTC](https://sel4.discourse.group/t/vspace-address-0xdd00-0000-0xdd20-0000-in-qemu-virt/851 "2024-07-11T16:03:26Z")
So backstory, I’m trying to instantiate a Linux Kernel VM with 4GB of RAM. I’ve increased Qemu’s RAM size to something ridiculous like 10GB, turned highmem=on, and I’ve gotten the VM from the starting \>1GB up to 2.2 GB. … --- ## [Raspberry Pi 4B No Serial without \`dtoverlay=disable-bt\`](https://sel4.discourse.group/t/raspberry-pi-4b-no-serial-without-dtoverlay-disable-bt/827)
**Author:** [@IridescentRose](https://sel4.discourse.group/u/IridescentRose)\ **Replies:** 1\ **Last updated:** [April 18, 2024, 5:45am UTC](https://sel4.discourse.group/t/raspberry-pi-4b-no-serial-without-dtoverlay-disable-bt/827 "2024-04-18T05:45:26Z")
Hello! I was following the recently updated documentation to setup seL4 on the Raspberry Pi 4B. My current issue is that there is no serial when dtoverlay=disable-bt is removed, the Pi simply hangs after the GPU test. I… --- ## [Sel4vm: Switch to use seL4\_LargePageObject in VM's RAM register to reduce the memory overhead](https://sel4.discourse.group/t/sel4vm-switch-to-use-sel4-largepageobject-in-vms-ram-register-to-reduce-the-memory-overhead/823)
**Author:** [@colorglass](https://sel4.discourse.group/u/colorglass)\ **Replies:** 0\ **Last updated:** [March 22, 2024, 8:07am UTC](https://sel4.discourse.group/t/sel4vm-switch-to-use-sel4-largepageobject-in-vms-ram-register-to-reduce-the-memory-overhead/823 "2024-03-22T08:07:28Z")
I was working around with the default vm\_minimal for qemu-arm-virt 64bits platform and tried to allocate 2GB RAM for the VM linux and got some allocation fail error. ./simulate: QEMU command: qemu-system-aarch64 -machin… --- ## [seL4test get stuck in FPU0001 test on qemu-arm-virt with givc3 enable](https://sel4.discourse.group/t/sel4test-get-stuck-in-fpu0001-test-on-qemu-arm-virt-with-givc3-enable/772)
**Author:** [@colorglass](https://sel4.discourse.group/u/colorglass)\ **Replies:** 3\ **Last updated:** [January 26, 2024, 11:39am UTC](https://sel4.discourse.group/t/sel4test-get-stuck-in-fpu0001-test-on-qemu-arm-virt-with-givc3-enable/772 "2024-01-26T11:39:43Z")
HI, I’m recently doing some works on a platform with gicv3, and I decide to run some tests on the qemu arm platform for better debugging. The default qemu configuration sets gicv2 as the default IRQ controller. So I mod… --- ## [Adding rockpro64 to sel4cp hello world example](https://sel4.discourse.group/t/adding-rockpro64-to-sel4cp-hello-world-example/769)
**Author:** [@sand7000](https://sel4.discourse.group/u/sand7000)\ **Replies:** 2\ **Last updated:** [August 30, 2023, 12:59am UTC](https://sel4.discourse.group/t/adding-rockpro64-to-sel4cp-hello-world-example/769 "2023-08-30T00:59:33Z")
I am attempting to build the @ivanvelickovic fork of the sel4cp hello world example for the rockpro64 board. I saw that the board is supported by sel4 and had platform files included in the seL4 repo. I successfully ran … --- ## [Setting up a seL4 development environment with nix](https://sel4.discourse.group/t/setting-up-a-sel4-development-environment-with-nix/761)
**Author:** [@tmcgilchrist](https://sel4.discourse.group/u/tmcgilchrist)\ **Replies:** 2\ **Last updated:** [August 10, 2023, 10:04pm UTC](https://sel4.discourse.group/t/setting-up-a-sel4-development-environment-with-nix/761 "2023-08-10T22:04:05Z")
Hi All, I would like to setup a development environment for hacking on seL4 using nix. I found the icecap project which uses nix to build seL4 plus Rust and MirageOS/OCaml, but it its using a modified seL4 version and r… --- ## [seL4tests on Zynq7000 failing](https://sel4.discourse.group/t/sel4tests-on-zynq7000-failing/657)
**Author:** [@mpodhradsky](https://sel4.discourse.group/u/mpodhradsky)\ **Replies:** 6\ **Last updated:** [February 3, 2023, 5:43pm UTC](https://sel4.discourse.group/t/sel4tests-on-zynq7000-failing/657 "2023-02-03T17:43:52Z")
Hello! Following the instructions in Zynq7000 | seL4 docs to run sel4test on Zynq700 in Renode fails with: vka\_alloc\_object\_at\_maybe\_dev@object.h:57 Failed to allocate object of size 2147483648, error 1 vka\_alloc\_obje… --- ## [Latest seL4 tests fail on Raspberry Pi 3](https://sel4.discourse.group/t/latest-sel4-tests-fail-on-raspberry-pi-3/662)
**Author:** [@mpodhradsky](https://sel4.discourse.group/u/mpodhradsky)\ **Replies:** 3\ **Last updated:** [February 3, 2023, 5:41pm UTC](https://sel4.discourse.group/t/latest-sel4-tests-fail-on-raspberry-pi-3/662 "2023-02-03T17:41:44Z")
Hello! I am trying to get seL4 tests on Raspberry Pi 3 B as described here: Raspberry PI 3 Model B and Model B+ | seL4 docs I am using the latest sel4test-manifest. First, building U-boot according to the instructions… --- ## [Virtio-Net on Multicore ARM System](https://sel4.discourse.group/t/virtio-net-on-multicore-arm-system/598)
**Author:** [@chrisguikema](https://sel4.discourse.group/u/chrisguikema)\ **Replies:** 2\ **Last updated:** [September 30, 2022, 3:46pm UTC](https://sel4.discourse.group/t/virtio-net-on-multicore-arm-system/598 "2022-09-30T15:46:38Z")
Has anyone else done work with the ARM virtio-net connection on a multicore configuration? For anyone wondering about our speeds, we did some work to get data in/out of a VM’s memory space faster. The default configurat… --- ## [seL4 under Genode or not under Genode?](https://sel4.discourse.group/t/sel4-under-genode-or-not-under-genode/566)
**Author:** [@SamuraiCrow](https://sel4.discourse.group/u/SamuraiCrow)\ **Replies:** 2\ **Last updated:** [August 30, 2022, 4:01am UTC](https://sel4.discourse.group/t/sel4-under-genode-or-not-under-genode/566 "2022-08-30T04:01:30Z")
I see that Genode’s framework can operate on top of the seL4 kernel. As a new developer for both Genode and seL4, I was wondering if: anyone here has worked on porting a project to a raw seL4 distribution out from und… --- ## [seL4\_GetIPCBuffer causing Cap Fault](https://sel4.discourse.group/t/sel4-getipcbuffer-causing-cap-fault/551)
**Author:** [@chunky125](https://sel4.discourse.group/u/chunky125)\ **Replies:** 12\ **Last updated:** [August 14, 2022, 12:01am UTC](https://sel4.discourse.group/t/sel4-getipcbuffer-causing-cap-fault/551 "2022-08-14T00:01:10Z")
Hello, I’ve been tinkering with seL4 and some rust crates (selfe mostly). I’ve got everything compiling with the mainline seL4 git, rather than a fork with some modifications, and now I’m trying to run a simple example… [Next page](https://sel4.discourse.group/tag/arm/2.md?match_all_tags=true&page=1&tags%5B%5D=arm)