devel  

Messages by Thread

• [seL4] ** Cohesix 0.1.0‑alpha1 — Release Announcement Lukas Bower via Devel
• [seL4] issue with elfloader ret instruction while enabling the MMU on armv8-a Christian Bruel via Devel
  • [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Indan Zupancic via Devel
  • [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Christian Bruel via Devel
  • [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Indan Zupancic via Devel
  • [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Christian Bruel via Devel
• [seL4] Announcing release v0.3 of Neptune OS, a Windows NT personality for seL4 Dr. Chang Liu, PhD. via Devel
  • [seL4] Re: Announcing release v0.3 of Neptune OS, a Windows NT personality for seL4 Dr. Chang Liu, PhD. via Devel
  • [seL4] Re: Announcing release v0.3 of Neptune OS, a Windows NT personality for seL4 Indan Zupancic via Devel
• [seL4] next seL4 TSC meeting Dec 3 (Dec 2 in US) Gerwin Klein via Devel
• [seL4] Trustworthy Systems releases LionsOS based firewall as a community project Courtney Darville via Devel
• [seL4] FOSDEM’26: Microkernel and Component-Based OS - Call for Papers Alexander Boettcher via Devel
• [seL4] Sculpt 25.10 with seL4 image Alexander Boettcher via Devel
• [seL4] [RFC] New CAmkES-VM Example: supermicro_wg (Secure Communication using WireGuard) Alberto Lange via Devel
• [seL4] Not getting a verification email for Mattermost Koo Zhengqun via Devel
  • [seL4] Re: Not getting a verification email for Mattermost Peter Chubb via Devel
• [seL4] "HVC is not supported for PSCI!" error for SMP on QEMU Jake Hamby via Devel
  • [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Julia Vassiliki via Devel
  • [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Jake Hamby via Devel
  • [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Ivan Velickovic via Devel
  • [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Jake Hamby via Devel
  • [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Hesham Almatary via Devel
• [seL4] Re: [seL4 Announce] seL4 summit 2026: location survey Birgit Brecknell via Devel
• [seL4] Porting seL4 to STM32MP157 Hugo V.C. via Devel
  • [seL4] Re: Porting seL4 to STM32MP157 Ivan Velickovic via Devel
  • [seL4] Re: Porting seL4 to STM32MP157 Hugo V.C. via Devel
  • [seL4] Re: Porting seL4 to STM32MP157 Ivan Velickovic via Devel
  • [seL4] Re: Porting seL4 to STM32MP157 Peter Chubb via Devel
• [seL4] Summit 2025: Multikernel BoF Daniel Schwyn via Devel
  • [seL4] Re: Summit 2025: Multikernel BoF Ivan Velickovic via Devel
  • [seL4] Re: Summit 2025: Multikernel BoF Daniel Schwyn via Devel
• [seL4] seL4 summit 2026: location survey Birgit Brecknell via Devel
• [seL4] Systems Researcher Position Yanyan Shen via Devel
• [seL4] Kernel use of MPIDR_EL1 register on ARM Julia Vassiliki via Devel
  • [seL4] Re: Kernel use of MPIDR_EL1 register on ARM Kent Mcleod via Devel
  • [seL4] Re: Kernel use of MPIDR_EL1 register on ARM Julia Vassiliki via Devel
  • [seL4] Re: Kernel use of MPIDR_EL1 register on ARM Indan Zupancic via Devel
• [seL4] About MSI-X interrupts on x86 Alberto Lange via Devel
  • [seL4] Re: About MSI-X interrupts on x86 Jingyao Zhou via Devel
  • [seL4] Re: About MSI-X interrupts on x86 Alberto Lange via Devel
  • [seL4] Re: About MSI-X interrupts on x86 Chris Guikema via Devel
  • [seL4] Re: About MSI-X interrupts on x86 Alberto Lange via Devel
• [seL4] Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Gernot Heiser via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Martin Vahi via Devel
  • [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• [seL4] On LionsOS and Switches wocexeg869--- via Devel
  • [seL4] Re: On LionsOS and Switches Peter Chubb via Devel
  • [seL4] Re: On LionsOS and Switches Gernot Heiser via Devel
• [seL4] Re: I am interested in porting LionOS to X64 architecture Peter Relich via Devel
  • [seL4] Re: I am interested in porting LionOS to X64 architecture Indan Zupancic via Devel
  • [seL4] Re: I am interested in porting LionOS to X64 architecture Peter Relich via Devel
  • [seL4] Fwd: Re: I am interested in porting LionOS to X64 architecture Jingyao Zhou via Devel
• [seL4] Booting software on Odroid-C4 Julia Royer via Devel
  • [seL4] Re: Booting software on Odroid-C4 Ivan Velickovic via Devel
  • [seL4] Re: Booting software on Odroid-C4 Gerwin Klein via Devel
  • [seL4] Re: Booting software on Odroid-C4 Indan Zupancic via Devel
  • [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
  • [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
  • [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
  • [seL4] Re: Booting software on Odroid-C4 Peter Chubb via Devel
  • [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
• [seL4] Error on managing the same IRQ in 2 VM (x86) #84 Alberto Lange via Devel
  • [seL4] Re: Error on managing the same IRQ in 2 VM (x86) #84 Indan Zupancic via Devel
  • [seL4] Re: Error on managing the same IRQ in 2 VM (x86) #84 Alberto Lange via Devel
• [seL4] Libc on Microkit Julia Royer via Devel
  • [seL4] Re: Libc on Microkit Ivan Velickovic via Devel
  • [seL4] Re: Libc on Microkit Julia Royer via Devel
• [seL4] Ethernet passthrough on x86 (QEMU) alberto.lange--- via Devel
• [seL4] seL4 Summit 2025: extended deadline to submit a talk Birgit Brecknell via Devel
• [seL4] Custom kernel for x86 VM alberto.lange--- via Devel
  • [seL4] Re: Custom kernel for x86 VM Michael Neises via Devel
  • [seL4] Re: Custom kernel for x86 VM alberto.lange--- via Devel
• [seL4] Issue when running rumprun_hello app from the CAmkES manifest dinukaamarasinghe817--- via Devel
• [seL4] Re: Register for the seL4 summit 2025 Vasily A. Sartakov via Devel
  • [seL4] Re: Register for the seL4 summit 2025 Martin Decky via Devel
  • [seL4] Re: Register for the seL4 summit 2025 Birgit Brecknell via Devel
• [seL4] Register for the seL4 summit 2025 Birgit Brecknell via Devel
  • [seL4] Re: Register for the seL4 summit 2025 Martin Decky via Devel
• [seL4] DKernelSkimWindow=off Sanyou via Devel
• [seL4] seL4 Summit 2025: one week to go to submit a talk Birgit Brecknell via Devel
• [seL4] Interactions between sDDF and libvmm Julia Royer via Devel
  • [seL4] Re: Interactions between sDDF and libvmm Ivan Velickovic via Devel
• [seL4] seL4 Summit 2025: two weeks to go to submit a talk Birgit Brecknell via Devel
• [seL4] User-level proofs and capability revocation Anton Burtsev via Devel
  • [seL4] Re: User-level proofs and capability revocation Gerwin Klein via Devel
  • [seL4] Re: User-level proofs and capability revocation Anton Burtsev via Devel
  • [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
  • [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
  • [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
  • [seL4] Re: User-level proofs and capability revocation Demi Marie Obenour via Devel
  • [seL4] Re: User-level proofs and capability revocation Hugo V.C. via Devel
  • [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
  • [seL4] Re: User-level proofs and capability revocation Hugo V.C. via Devel
  • [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
  • [seL4] Re: User-level proofs and capability revocation Peter Chubb via Devel
  • [seL4] Re: User-level proofs and capability revocation William ML Leslie via Devel
  • [seL4] Re: User-level proofs and capability revocation Anton Burtsev via Devel
  • [seL4] Re: User-level proofs and capability revocation William ML Leslie via Devel
• [seL4] Question about extensibility 1plus.yijia--- via Devel
  • [seL4] Re: Question about extensibility Gernot Heiser via Devel
• [seL4] seL4 libraries compatibility with Microkit Julia Royer via Devel
  • [seL4] Re: seL4 libraries compatibility with Microkit Ivan Velickovic via Devel
  • [seL4] Re: seL4 libraries compatibility with Microkit Julia Royer via Devel
• [seL4] Reminder: Call For Presentations for the seL4 Summit 2025 Birgit Brecknell via Devel
• [seL4] seL4 for general purpose/desktop operating systems? Isaac Beckett via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Andrew Warkentin via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Andrew Warkentin via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Demi Marie Obenour via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Demi Marie Obenour via Devel
  • [seL4] Re: seL4 for general purpose/desktop operating systems? Ihor Kuz via Devel
• [seL4] Release 2.0.0 of Microkit Ivan Velickovic via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Hugo V.C. via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Robert VanVossen via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Hugo V.C. via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Ivan Velickovic via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Kent Mcleod via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Ivan Velickovic via Devel
  • [seL4] Microkit with smaller memory size Yanfeng Liu via Devel
  • [seL4] Re: Microkit with smaller memory size Ivan Velickovic via Devel
  • [seL4] Re: Microkit with smaller memory size Yanfeng Liu via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Yanfeng Liu via Devel
  • [seL4] Re: Release 2.0.0 of Microkit Ivan Velickovic via Devel
• [seL4] Libvmm on Rasperry Pi 4B Julia Royer via Devel
  • [seL4] Re: Libvmm on Rasperry Pi 4B Ivan Velickovic via Devel
  • [seL4] Re: Libvmm on Rasperry Pi 4B Julia Royer via Devel
  • [seL4] Re: Libvmm on Rasperry Pi 4B Ivan Velickovic via Devel
  • [seL4] Re: Libvmm on Rasperry Pi 4B Julia Royer via Devel
  • [seL4] Re: Libvmm on Rasperry Pi 4B Ivan Velickovic via Devel
• [seL4] Deprecating old boards in the CI system Peter Chubb via Devel
• [seL4] Call For Presentations for the seL4 Summit 2025 Birgit Brecknell via Devel
• [seL4] Re: seL4 test on x86 saftab.rashid--- via Devel
• [seL4] Running seL4 on bare-metal x86_64 PC saftab.rashid--- via Devel
  • [seL4] Re: Running seL4 on bare-metal x86_64 PC fennelfoxxo--- via Devel
  • [seL4] Re: Running seL4 on bare-metal x86_64 PC saftab.rashid--- via Devel
• [seL4] reclaiming root server memory frames Yanfeng Liu via Devel
  • [seL4] reclaiming some frames of initial thread Yanfeng Liu via Devel
• [seL4] CDT traveling Yanfeng Liu via Devel
  • [seL4] Re: CDT traveling Indan Zupancic
  • [seL4] Re: CDT traveling Yanfeng Liu via Devel
  • [seL4] Re: CDT traveling Yanfeng Liu via Devel
  • [seL4] Re: CDT traveling Indan Zupancic
  • [seL4] Re: CDT traveling Yanfeng Liu via Devel
  • [seL4] Re: CDT traveling Indan Zupancic
  • [seL4] Re: CDT traveling Yanfeng Liu via Devel
  • [seL4] Re: CDT traveling Indan Zupancic
  • [seL4] Re: CDT traveling Yanfeng Liu via Devel
  • [seL4] Re: CDT traveling Indan Zupancic
• [seL4] address of L1 CNode Cap Yanfeng Liu via Devel
  • [seL4] Re: address of L1 CNode Cap Indan Zupancic
  • [seL4] Re: address of L1 CNode Cap Yanfeng Liu via Devel
• [seL4] Re: On Common IPC Patterns in Microkit Wanja.Zaeske--- via Devel
  • [seL4] Re: On Common Infrastructure Indan Zupancic
• [seL4] LionsOS musllibc old version? Vulnerable? Hugo V.C.
  • [seL4] Re: LionsOS musllibc old version? Vulnerable? Ivan Velickovic via Devel
  • [seL4] Re: LionsOS musllibc old version? Vulnerable? Hugo V.C.
  • [seL4] Re: LionsOS musllibc old version? Vulnerable? Demi Marie Obenour
• [seL4] On Common IPC Patterns in Microkit Wanja.Zaeske--- via Devel
  • [seL4] Re: On Common IPC Patterns in Microkit Gernot Heiser via Devel
  • [seL4] Re: On Common IPC Patterns in Microkit Ivan Velickovic via Devel
  • [seL4] Re: On Common IPC Patterns in Microkit Anna Lyons
  • [seL4] Re: On Common IPC Patterns in Microkit Ivan Velickovic via Devel
  • [seL4] Re: On Common IPC Patterns in Microkit wanja.zaeske--- via Devel
• [seL4] find all seL4 threads Yanfeng via Devel
  • [seL4] Re: find all seL4 threads Indan Zupancic
  • [seL4] Re: find all seL4 threads Alwin Joshy via Devel
  • [seL4] Re: find all seL4 threads Yanfeng via Devel
• [seL4] Re: iMX8MM seL4 12.1.0 running a VM Zippy Manaic via Devel
  • [seL4] Re: iMX8MM seL4 12.1.0 running a VM Indan Zupancic
  • [seL4] Re: iMX8MM seL4 12.1.0 running a VM Zippy Manaic via Devel
• [seL4] seL4 summit 2025: survey about location Birgit Brecknell
• [seL4] Modifying the root user thread's CSpace Ben McCart
  • [seL4] Re: Modifying the root user thread's CSpace Indan Zupancic
  • [seL4] Re: Modifying the root user thread's CSpace Ben McCart
  • [seL4] Re: Modifying the root user thread's CSpace Alwin Joshy via Devel
  • [seL4] Re: Modifying the root user thread's CSpace Alwin Joshy via Devel
  • [seL4] Re: Modifying the root user thread's CSpace Indan Zupancic
  • [seL4] Re: Modifying the root user thread's CSpace Indan Zupancic
  • [seL4] Re: Modifying the root user thread's CSpace Indan Zupancic
• [seL4] ci-actions/preprocess Yanfeng via Devel
  • [seL4] Re: ci-actions/preprocess Indan Zupancic
  • [seL4] Re: ci-actions/preprocess Yanfeng via Devel
• [seL4] Potential vulnerabilities Hugo V.C.
  • [seL4] Re: Potential vulnerabilities Gerwin Klein via Devel

• Earlier messages