devel  

Messages by Date

• 2026/03/01 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2026/02/15 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2026/02/11 [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Christian Bruel via Devel
• 2026/02/01 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2026/01/23 [seL4] ** Cohesix 0.1.0‑alpha1 — Release Announcement Lukas Bower via Devel
• 2026/01/18 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2026/01/15 [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Christian Bruel via Devel
• 2026/01/15 [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Indan Zupancic via Devel
• 2026/01/13 [seL4] Re: issue with elfloader ret instruction while enabling the MMU on armv8-a Indan Zupancic via Devel
• 2026/01/13 [seL4] issue with elfloader ret instruction while enabling the MMU on armv8-a Christian Bruel via Devel
• 2026/01/04 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2026/01/04 [seL4] Re: Announcing release v0.3 of Neptune OS, a Windows NT personality for seL4 Indan Zupancic via Devel
• 2026/01/03 [seL4] Re: Announcing release v0.3 of Neptune OS, a Windows NT personality for seL4 Dr. Chang Liu, PhD. via Devel
• 2025/12/30 [seL4] Announcing release v0.3 of Neptune OS, a Windows NT personality for seL4 Dr. Chang Liu, PhD. via Devel
• 2025/12/07 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/12/01 [seL4] next seL4 TSC meeting Dec 3 (Dec 2 in US) Gerwin Klein via Devel
• 2025/11/26 [seL4] New release of seL4, Microkit, CAmkES, capDL and Rust support Gerwin Klein via Devel
• 2025/11/23 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/11/19 [seL4] Re: question about the seL4/camkes-vm-examples jiazhouyang--- via Devel
• 2025/11/19 [seL4] Re: question about the seL4/camkes-vm-examples Julia Vassiliki via Devel
• 2025/11/19 [seL4] Re: question about the seL4/camkes-vm-examples jiazhouyang--- via Devel
• 2025/11/12 [seL4] Trustworthy Systems releases LionsOS based firewall as a community project Courtney Darville via Devel
• 2025/11/09 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/11/03 [seL4] FOSDEM’26: Microkernel and Component-Based OS - Call for Papers Alexander Boettcher via Devel
• 2025/11/02 [seL4] Sculpt 25.10 with seL4 image Alexander Boettcher via Devel
• 2025/10/30 [seL4] [RFC] New CAmkES-VM Example: supermicro_wg (Secure Communication using WireGuard) Alberto Lange via Devel
• 2025/10/26 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/10/23 [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Jake Hamby via Devel
• 2025/10/23 [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Hesham Almatary via Devel
• 2025/10/23 [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Ivan Velickovic via Devel
• 2025/10/23 [seL4] Re: Not getting a verification email for Mattermost Peter Chubb via Devel
• 2025/10/23 [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Jake Hamby via Devel
• 2025/10/23 [seL4] Not getting a verification email for Mattermost Koo Zhengqun via Devel
• 2025/10/22 [seL4] Re: "HVC is not supported for PSCI!" error for SMP on QEMU Julia Vassiliki via Devel
• 2025/10/22 [seL4] "HVC is not supported for PSCI!" error for SMP on QEMU Jake Hamby via Devel
• 2025/10/19 [seL4] Re: [seL4 Announce] seL4 summit 2026: location survey Birgit Brecknell via Devel
• 2025/10/18 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/10/18 [seL4] Re: Porting seL4 to STM32MP157 Peter Chubb via Devel
• 2025/10/18 [seL4] Re: Porting seL4 to STM32MP157 Hugo V.C. via Devel
• 2025/10/18 [seL4] Re: Summit 2025: Multikernel BoF Daniel Schwyn via Devel
• 2025/10/18 [seL4] Re: Porting seL4 to STM32MP157 Ivan Velickovic via Devel
• 2025/10/18 [seL4] Re: Porting seL4 to STM32MP157 Ivan Velickovic via Devel
• 2025/10/18 [seL4] Porting seL4 to STM32MP157 Hugo V.C. via Devel
• 2025/10/17 [seL4] Summit 2025: Multikernel BoF Daniel Schwyn via Devel
• 2025/10/17 [seL4] Re: Summit 2025: Multikernel BoF Ivan Velickovic via Devel
• 2025/10/17 [seL4] seL4 summit 2026: location survey Birgit Brecknell via Devel
• 2025/10/07 [seL4] Re: seL4 vs QNX and Linux benchmarks maschoen--- via Devel
• 2025/09/28 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/09/23 [seL4] Systems Researcher Position Yanyan Shen via Devel
• 2025/09/20 [seL4] Re: Kernel use of MPIDR_EL1 register on ARM Julia Vassiliki via Devel
• 2025/09/14 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/09/11 [seL4] Re: Kernel use of MPIDR_EL1 register on ARM Indan Zupancic via Devel
• 2025/09/08 [seL4] Re: Kernel use of MPIDR_EL1 register on ARM Kent Mcleod via Devel
• 2025/09/07 [seL4] Kernel use of MPIDR_EL1 register on ARM Julia Vassiliki via Devel
• 2025/09/05 [seL4] Re: About MSI-X interrupts on x86 Alberto Lange via Devel
• 2025/09/02 [seL4] Re: About MSI-X interrupts on x86 Chris Guikema via Devel
• 2025/09/02 [seL4] Re: About MSI-X interrupts on x86 Alberto Lange via Devel
• 2025/09/02 [seL4] Re: About MSI-X interrupts on x86 Jingyao Zhou via Devel
• 2025/08/31 [seL4] About MSI-X interrupts on x86 Alberto Lange via Devel
• 2025/08/19 [seL4] Re: Error on managing the same IRQ in 2 VM (x86) #84 Alberto Lange via Devel
• 2025/08/17 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/08/12 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
• 2025/08/12 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/08/03 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/07/31 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
• 2025/07/31 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/07/31 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/07/31 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Martin Vahi via Devel
• 2025/07/31 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
• 2025/07/31 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
• 2025/07/30 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/07/30 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Gernot Heiser via Devel
• 2025/07/30 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/07/30 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
• 2025/07/29 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/07/29 [seL4] Re: Experimental prototype of CHERI-enabled seL4 is released Hugo V.C. via Devel
• 2025/07/29 [seL4] Experimental prototype of CHERI-enabled seL4 is released Hesham Almatary via Devel
• 2025/07/21 [seL4] Re: On LionsOS and Switches Gernot Heiser via Devel
• 2025/07/21 [seL4] Re: On LionsOS and Switches Peter Chubb via Devel
• 2025/07/21 [seL4] On LionsOS and Switches wocexeg869--- via Devel
• 2025/07/20 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/07/06 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/06/22 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/06/10 [seL4] Fwd: Re: I am interested in porting LionOS to X64 architecture Jingyao Zhou via Devel
• 2025/06/10 [seL4] Re: I am interested in porting LionOS to X64 architecture Peter Relich via Devel
• 2025/06/10 [seL4] Re: I am interested in porting LionOS to X64 architecture Indan Zupancic via Devel
• 2025/06/06 [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
• 2025/06/05 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/06/03 [seL4] Re: Booting software on Odroid-C4 Peter Chubb via Devel
• 2025/06/03 [seL4] Re: I am interested in porting LionOS to X64 architecture Peter Relich via Devel
• 2025/06/03 [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
• 2025/06/03 [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
• 2025/05/25 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/05/22 [seL4] Re: Booting software on Odroid-C4 Julia Royer via Devel
• 2025/05/21 [seL4] Re: Booting software on Odroid-C4 Indan Zupancic via Devel
• 2025/05/20 [seL4] Re: Booting software on Odroid-C4 Gerwin Klein via Devel
• 2025/05/20 [seL4] Re: Booting software on Odroid-C4 Ivan Velickovic via Devel
• 2025/05/20 [seL4] Booting software on Odroid-C4 Julia Royer via Devel
• 2025/05/13 [seL4] Re: seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/05/13 [seL4] Re: Error on managing the same IRQ in 2 VM (x86) #84 Indan Zupancic via Devel
• 2025/05/13 [seL4] Error on managing the same IRQ in 2 VM (x86) #84 Alberto Lange via Devel
• 2025/05/11 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/05/06 [seL4] Re: Libc on Microkit Julia Royer via Devel
• 2025/05/05 [seL4] Re: Libc on Microkit Ivan Velickovic via Devel
• 2025/05/05 [seL4] Libc on Microkit Julia Royer via Devel
• 2025/04/28 [seL4] Ethernet passthrough on x86 (QEMU) alberto.lange--- via Devel
• 2025/04/28 [seL4] Re: Custom kernel for x86 VM alberto.lange--- via Devel
• 2025/04/27 [seL4] seL4 Summit 2025: extended deadline to submit a talk Birgit Brecknell via Devel
• 2025/04/27 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/04/24 [seL4] Re: Custom kernel for x86 VM Michael Neises via Devel
• 2025/04/23 [seL4] Custom kernel for x86 VM alberto.lange--- via Devel
• 2025/04/18 [seL4] Re: hello_rumprun app not worked dinukaamarasinghe817--- via Devel
• 2025/04/18 [seL4] Issue when running rumprun_hello app from the CAmkES manifest dinukaamarasinghe817--- via Devel
• 2025/04/15 [seL4] Re: Register for the seL4 summit 2025 Birgit Brecknell via Devel
• 2025/04/15 [seL4] Re: Register for the seL4 summit 2025 Martin Decky via Devel
• 2025/04/14 [seL4] Re: Register for the seL4 summit 2025 Martin Decky via Devel
• 2025/04/14 [seL4] Re: Register for the seL4 summit 2025 Vasily A. Sartakov via Devel
• 2025/04/14 [seL4] Register for the seL4 summit 2025 Birgit Brecknell via Devel
• 2025/04/13 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/04/13 [seL4] DKernelSkimWindow=off Sanyou via Devel
• 2025/04/13 [seL4] seL4 Summit 2025: one week to go to submit a talk Birgit Brecknell via Devel
• 2025/04/10 [seL4] Re: Running seL4 on bare-metal x86_64 PC saftab.rashid--- via Devel
• 2025/04/09 [seL4] Re: Interactions between sDDF and libvmm Ivan Velickovic via Devel
• 2025/04/09 [seL4] Interactions between sDDF and libvmm Julia Royer via Devel
• 2025/04/06 [seL4] seL4 Summit 2025: two weeks to go to submit a talk Birgit Brecknell via Devel
• 2025/04/05 [seL4] Re: User-level proofs and capability revocation Peter Chubb via Devel
• 2025/04/05 [seL4] User-level proofs and capability revocation Anton Burtsev via Devel
• 2025/04/05 [seL4] Question about extensibility 1plus.yijia--- via Devel
• 2025/04/04 [seL4] Re: seL4 libraries compatibility with Microkit Julia Royer via Devel
• 2025/03/31 [seL4] Re: Question about extensibility Gernot Heiser via Devel
• 2025/03/30 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/03/27 [seL4] Re: User-level proofs and capability revocation William ML Leslie via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Hugo V.C. via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Hugo V.C. via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Demi Marie Obenour via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Gernot Heiser via Devel
• 2025/03/26 [seL4] Re: User-level proofs and capability revocation Anton Burtsev via Devel
• 2025/03/25 [seL4] Re: User-level proofs and capability revocation Anton Burtsev via Devel
• 2025/03/25 [seL4] Re: User-level proofs and capability revocation William ML Leslie via Devel
• 2025/03/25 [seL4] Re: User-level proofs and capability revocation Gerwin Klein via Devel
• 2025/03/20 [seL4] Re: seL4 libraries compatibility with Microkit Ivan Velickovic via Devel
• 2025/03/20 [seL4] seL4 libraries compatibility with Microkit Julia Royer via Devel
• 2025/03/16 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/03/15 [seL4] Reminder: Call For Presentations for the seL4 Summit 2025 Birgit Brecknell via Devel
• 2025/03/15 [seL4] Re: Release 2.0.0 of Microkit Kent Mcleod via Devel
• 2025/03/12 [seL4] Re: Libvmm on Rasperry Pi 4B Julia Royer via Devel
• 2025/03/12 [seL4] Re: Libvmm on Rasperry Pi 4B Ivan Velickovic via Devel
• 2025/03/11 [seL4] Re: Release 2.0.0 of Microkit Ivan Velickovic via Devel
• 2025/03/11 [seL4] Re: Libvmm on Rasperry Pi 4B Ivan Velickovic via Devel
• 2025/03/09 [seL4] Re: Release 2.0.0 of Microkit Ivan Velickovic via Devel
• 2025/03/08 [seL4] Re: Release 2.0.0 of Microkit Yanfeng Liu via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Ihor Kuz via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Demi Marie Obenour via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
• 2025/03/08 [seL4] Re: Release 2.0.0 of Microkit Robert VanVossen via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Demi Marie Obenour via Devel
• 2025/03/08 [seL4] Re: Microkit with smaller memory size Ivan Velickovic via Devel
• 2025/03/08 [seL4] Re: Microkit with smaller memory size Yanfeng Liu via Devel
• 2025/03/08 [seL4] Microkit with smaller memory size Yanfeng Liu via Devel
• 2025/03/08 [seL4] Re: seL4 for general purpose/desktop operating systems? Andrew Warkentin via Devel
• 2025/03/07 [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
• 2025/03/07 [seL4] Re: seL4 for general purpose/desktop operating systems? Andrew Warkentin via Devel
• 2025/03/07 [seL4] Re: seL4 for general purpose/desktop operating systems? Gernot Heiser via Devel
• 2025/03/07 [seL4] seL4 for general purpose/desktop operating systems? Isaac Beckett via Devel
• 2025/03/07 [seL4] Re: Release 2.0.0 of Microkit Hugo V.C. via Devel
• 2025/03/06 [seL4] Re: Release 2.0.0 of Microkit Ivan Velickovic via Devel
• 2025/03/06 [seL4] Re: Release 2.0.0 of Microkit Hugo V.C. via Devel
• 2025/03/06 [seL4] Re: Libvmm on Rasperry Pi 4B Julia Royer via Devel
• 2025/03/05 [seL4] Re: Libvmm on Rasperry Pi 4B Ivan Velickovic via Devel
• 2025/03/05 [seL4] Release 2.0.0 of Microkit Ivan Velickovic via Devel
• 2025/03/05 [seL4] Libvmm on Rasperry Pi 4B Julia Royer via Devel
• 2025/03/05 [seL4] Re: Running seL4 on bare-metal x86_64 PC fennelfoxxo--- via Devel
• 2025/03/04 [seL4] Deprecating old boards in the CI system Peter Chubb via Devel
• 2025/03/02 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/02/16 [seL4] Call For Presentations for the seL4 Summit 2025 Birgit Brecknell via Devel
• 2025/02/16 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/02/02 [seL4] seL4 developer hangout reminder Birgit Brecknell via Devel
• 2025/01/29 [seL4] Re: seL4 test on x86 saftab.rashid--- via Devel
• 2025/01/29 [seL4] Running seL4 on bare-metal x86_64 PC saftab.rashid--- via Devel
• 2025/01/23 [seL4] seL4 developer hangout reminder Birgit Brecknell
• 2025/01/23 [seL4] reclaiming some frames of initial thread Yanfeng Liu via Devel
• 2025/01/05 [seL4] seL4 developer hangout reminder Birgit Brecknell
• 2024/12/24 [seL4] reclaiming root server memory frames Yanfeng Liu via Devel
• 2024/12/17 [seL4] Re: CDT traveling Indan Zupancic
• 2024/12/17 [seL4] Re: CDT traveling Yanfeng Liu via Devel
• 2024/12/17 [seL4] Re: CDT traveling Indan Zupancic
• 2024/12/16 [seL4] Re: CDT traveling Yanfeng Liu via Devel
• 2024/12/16 [seL4] Re: On Common Infrastructure Indan Zupancic
• 2024/12/16 [seL4] Re: CDT traveling Indan Zupancic
• 2024/12/15 [seL4] Re: CDT traveling Yanfeng Liu via Devel
• 2024/12/14 [seL4] Re: CDT traveling Indan Zupancic
• 2024/12/12 [seL4] Re: CDT traveling Yanfeng Liu via Devel
• 2024/12/12 [seL4] Re: CDT traveling Yanfeng Liu via Devel
• 2024/12/12 [seL4] Re: CDT traveling Indan Zupancic

• Earlier messages