devel  

Messages by Thread

• [seL4] constituting seL4 TSC meeting Klein, Gerwin (Data61, Kensington NSW)
• [seL4] UNSW seL4 teaching videos available Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] UNSW seL4 teaching videos available Jeff Waugh
• [seL4] mcs kernel compatible with camkes project Parvaneh Ahgajani
  • Re: [seL4] mcs kernel compatible with camkes project Scott, Oliver (Data61, Kensington NSW)
• [seL4] Threads tutorial fails to initialize Weiqi Hu
  • Re: [seL4] Threads tutorial fails to initialize Chubb, Peter (Data61, Kensington NSW)
  • Re: [seL4] Threads tutorial fails to initialize Weiqi Hu
  • Re: [seL4] Threads tutorial fails to initialize Weiqi Hu
  • Re: [seL4] Threads tutorial fails to initialize Chubb, Peter (Data61, Kensington NSW)
  • Re: [seL4] Threads tutorial fails to initialize Weiqi Hu
• [seL4] Building picoserver example Russel emkil.minor
  • Re: [seL4] Building picoserver example Lee, Damon (Data61, Kensington NSW)
• [seL4] seL4 Whitepaper Released Heiser, Gernot (Data61, Kensington NSW)
• [seL4] some confuse about "bootstrap_use_current_simple" of bootstrap.c in libsel4allocman yadong . li
• [seL4] Help with creating a new project Yates, Tim
  • Re: [seL4] Help with creating a new project Lee, Damon (Data61, Kensington NSW)
• [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error Turner, Ben
  • Re: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error Lee, Damon (Data61, Kensington NSW)
  • Re: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error Turner, Ben
  • Re: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error Lee, Damon (Data61, Kensington NSW)
  • Re: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error Turner, Ben
  • Re: [seL4] CAmkES VM rootfs.cpio with Python3 Causes Error Turner, Ben
• [seL4] Trouble accessing linux guest through tun/tap Travis Wheatley
  • Re: [seL4] Trouble accessing linux guest through tun/tap Lee, Damon (Data61, Kensington NSW)
• [seL4] some question about VisualCAmkES ？ yadong . li
• [seL4] Trouble with the tun/tap interface in linux guest Travis Wheatley
  • Re: [seL4] Trouble with the tun/tap interface in linux guest Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] Trouble with the tun/tap interface in linux guest Travis Wheatley
• [seL4] Incorporating the Build System - The CAmkES Perspective Turner, Ben
  • Re: [seL4] Incorporating the Build System - The CAmkES Perspective Robert VanVossen
• [seL4] Best starting point for running VM Linux on a raspberry pi? Travis Wheatley
  • Re: [seL4] Best starting point for running VM Linux on a raspberry pi? Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Benchmarks of seL4 Leo Gaspard
  • Re: [seL4] Benchmarks of seL4 Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Benchmarks of seL4 Leo Gaspard
  • Re: [seL4] Benchmarks of seL4 Jeff Waugh
  • Re: [seL4] Benchmarks of seL4 Leo Gaspard
  • Re: [seL4] Benchmarks of seL4 Andrew Warkentin
  • Re: [seL4] Benchmarks of seL4 Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Benchmarks of seL4 Andrew Warkentin
  • Re: [seL4] Benchmarks of seL4 Demi Obenour
  • Re: [seL4] Benchmarks of seL4 Andrew Warkentin
  • Re: [seL4] Benchmarks of seL4 Demi Obenour
  • Re: [seL4] Benchmarks of seL4 Andrew Warkentin
  • Re: [seL4] Benchmarks of seL4 Matthew Fernandez
• [seL4] Scheduler discussion on LWN Zach Lym
  • Re: [seL4] Scheduler discussion on LWN Heiser, Gernot (Data61, Kensington NSW)
• [seL4] Support for 64-bit virtual machines on x86-64 J Call
  • Re: [seL4] Support for 64-bit virtual machines on x86-64 Chris Guikema
• [seL4] 答复: Devel Digest, Vol 71, Issue 10 yadong . li
• [seL4] TimeServer "IRQ already mapped" error Grant Jurgensen
  • Re: [seL4] TimeServer "IRQ already mapped" error Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] TimeServer "IRQ already mapped" error Grant Jurgensen
  • Re: [seL4] TimeServer "IRQ already mapped" error Mcleod, Kent (Data61, Kensington NSW)
• [seL4] The seL4 Foundation is up! Heiser, Gernot (Data61, Kensington NSW)
• [seL4] Cross-core thread migration Demi Obenour
  • Re: [seL4] Cross-core thread migration Millar, Curtis (Data61, Kensington NSW)
  • Re: [seL4] Cross-core thread migration Millar, Curtis (Data61, Kensington NSW)
  • Re: [seL4] Cross-core thread migration Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Cross-core thread migration Demi Obenour
  • Re: [seL4] Cross-core thread migration Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Cross-core thread migration Demi Obenour
• [seL4] setConsumed() in seL4_SchedContext_YieldTo laokz
  • Re: [seL4] setConsumed() in seL4_SchedContext_YieldTo Anna Lyons
  • Re: [seL4] setConsumed() in seL4_SchedContext_YieldTo laokz
  • Re: [seL4] setConsumed() in seL4_SchedContext_YieldTo Anna Lyons
  • Re: [seL4] setConsumed() in seL4_SchedContext_YieldTo laokz
• [seL4] Trouble booting default cmakes-vm-arm project under QEMU Travis Wheatley
  • Re: [seL4] Trouble booting default cmakes-vm-arm project under QEMU Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Running cmakes-arm-vm under QEMU. Travis Wheatley
  • Re: [seL4] Running cmakes-arm-vm under QEMU. Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Get/Set multiple message registers with the one syscall? Ben Ph
  • Re: [seL4] Get/Set multiple message registers with the one syscall? Anna Lyons
  • Re: [seL4] Get/Set multiple message registers with the one syscall? Ben Ph
• [seL4] Thank you very much. 答复: question about stash and pop between templates yadong . li
• [seL4] question about stash and pop between templates yadong . li
  • Re: [seL4] question about stash and pop between templates Matthew Fernandez
• [seL4] Plan to remove support for ARMv6 and KZM/imx31 Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Would verifying ARM64 be any more difficult than verifying ARM32 was? Demi M. Obenour
  • Re: [seL4] Would verifying ARM64 be any more difficult than verifying ARM32 was? Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Would verifying ARM64 be any more difficult than verifying ARM32 was? Robin Randhawa
  • Re: [seL4] Would verifying ARM64 be any more difficult than verifying ARM32 was? Klein, Gerwin (Data61, Kensington NSW)
• [seL4] CAmkES, Virtual Machines and Multicore Guarantees Turner, Ben
  • Re: [seL4] CAmkES, Virtual Machines and Multicore Guarantees Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] CAmkES, Virtual Machines and Multicore Guarantees Demi Obenour
  • Re: [seL4] CAmkES, Virtual Machines and Multicore Guarantees Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] CAmkES, Virtual Machines and Multicore Guarantees Klein, Gerwin (Data61, Kensington NSW)
  • [seL4] CAmkES, Virtual Machines and Multicore Guarantees Demi M. Obenour
  • Re: [seL4] CAmkES, Virtual Machines and Multicore Guarantees Demi Obenour
• [seL4] Configuring pinmux in am335x (beaglebone) can't be done from user mode Stephen Sherratt
  • Re: [seL4] Configuring pinmux in am335x (beaglebone) can't be done from user mode Mcleod, Kent (Data61, Kensington NSW)
• [seL4] seL4 design principles Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] seL4 design principles Demi Obenour
  • Re: [seL4] seL4 design principles Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] seL4 design principles Demi M. Obenour
  • Re: [seL4] seL4 design principles Heiser, Gernot (Data61, Kensington NSW)
• [seL4] intel-vtd.c::vtd_get_n_paging looks so suspicious laokz
  • Re: [seL4] intel-vtd.c::vtd_get_n_paging looks so suspicious Mcleod, Kent (Data61, Kensington NSW)
  • [seL4] another intel-vtd relevant problem laokz
• [seL4] May be an error in "alloc_free_io_port_range" of projects/seL4_projects_libs/libsel4vmmplatsupport/src/ioports.c yadong . li
  • Re: [seL4] May be an error in "alloc_free_io_port_range" of projects/seL4_projects_libs/libsel4vmmplatsupport/src/ioports.c Lee, Damon (Data61, Kensington NSW)
• [seL4] Booting on a Jetson TK1 board. Travis Wheatley
  • Re: [seL4] Booting on a Jetson TK1 board. Mike Clark
  • Re: [seL4] Booting on a Jetson TK1 board. Travis Wheatley
  • Re: [seL4] Booting on a Jetson TK1 board. Mike Clark
  • Re: [seL4] Booting on a Jetson TK1 board. Travis Wheatley
• [seL4] L4 Risc-v touchscreen board Luca Tapponi
• [seL4] RPi4: DTS memory device and vm_minimal Turner, Ben
  • Re: [seL4] RPi4: DTS memory device and vm_minimal Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] RPi4: DTS memory device and vm_minimal Turner, Ben
  • Re: [seL4] RPi4: DTS memory device and vm_minimal Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Failed to find device frame in new verion on my environment yadong . li
  • Re: [seL4] Failed to find device frame in new verion on my environment Mcleod, Kent (Data61, Kensington NSW)
• [seL4] devices.camkes: vm#.untyped_mmios: What does the integer after the addresses in this array represent? Turner, Ben
  • Re: [seL4] devices.camkes: vm#.untyped_mmios: What does the integer after the addresses in this array represent? Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] devices.camkes: vm#.untyped_mmios: What does the integer after the addresses in this array represent? Chubb, Peter (Data61, Kensington NSW)
• [seL4] two questions when I add virtio net with virtio_console meanwhile in arm-vm project yadong . li
  • Re: [seL4] two questions when I add virtio net with virtio_console meanwhile in arm-vm project Felizzi, Alison (Data61, Kensington NSW)
  • [seL4] 答复: two questions when I add virtio net with virtio_console meanwhile in arm-vm project yadong . li
• [seL4] Announcing new releases: seL4-11.0.0, camkes-3.8.0, CapDL-0.1.0, Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Turner, Ben
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Shen, Yanyan (Data61, Kensington NSW)
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Turner, Ben
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Turner, Ben
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Shen, Yanyan (Data61, Kensington NSW)
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Turner, Ben
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Shen, Yanyan (Data61, Kensington NSW)
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Turner, Ben
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] Adding Platform Support: CAmkES-ARM-VM: VM_Minimal: Raspberry Pi 3b Turner, Ben
• [seL4] Multikernels and resource transfer Demi Obenour
  • Re: [seL4] Multikernels and resource transfer Ge, Qian (Data61, Kensington NSW)
• [seL4] Using sel4.xml/sel4arch.xml to generate custom bindings Alexandre Mutel
  • Re: [seL4] Using sel4.xml/sel4arch.xml to generate custom bindings Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Beginner ARM_HYP questions tossel
  • Re: [seL4] Beginner ARM_HYP questions Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] Beginner ARM_HYP questions tossel
• [seL4] Question about MCS branch Isaac Beckett
  • Re: [seL4] Question about MCS branch Alexandre Mutel
• [seL4] Recycle resources used by a thread after it terminates Alexandre Mutel
  • Re: [seL4] Recycle resources used by a thread after it terminates Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Recycle resources used by a thread after it terminates Alexandre Mutel
• [seL4] Configuring CAmkES projects Grant Jurgensen
  • Re: [seL4] Configuring CAmkES projects Kent Mcleod
  • Re: [seL4] Configuring CAmkES projects Grant Jurgensen
• [seL4] Camkes and Memory-Mapped Peripherals Michael Neises
  • Re: [seL4] Camkes and Memory-Mapped Peripherals Lee, Damon (Data61, Kensington NSW)
• [seL4] Status of side-channel attack mitigation Demi M. Obenour
  • Re: [seL4] Status of side-channel attack mitigation Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Status of side-channel attack mitigation Demi M. Obenour
• [seL4] AMD CPUs and SMP scalability Demi M. Obenour
  • Re: [seL4] AMD CPUs and SMP scalability Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] AMD CPUs and SMP scalability Demi M. Obenour
• [seL4] GPIO on Sabre imx6 Parvaneh Ahgajani
  • Re: [seL4] GPIO on Sabre imx6 Lee, Damon (Data61, Kensington NSW)
  • Re: [seL4] GPIO on Sabre imx6 Parvaneh Ahgajani
  • Re: [seL4] GPIO on Sabre imx6 Lee, Damon (Data61, Kensington NSW)
• [seL4] seL4 on unverified ARM platforms Demi M. Obenour
  • Re: [seL4] seL4 on unverified ARM platforms Klein, Gerwin (Data61, Kensington NSW)
  • Re: [seL4] seL4 on unverified ARM platforms Demi M. Obenour
  • Re: [seL4] seL4 on unverified ARM platforms Klein, Gerwin (Data61, Kensington NSW)
• [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Klein, Gerwin (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Demi M. Obenour
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Heiser, Gernot (Data61, Kensington NSW)
  • [seL4] When is seL4 not a good choice? Demi M. Obenour
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Klein, Gerwin (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? G. Branden Robinson
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? G. Branden Robinson
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • [seL4] Openness of seL4 Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Klein, Gerwin (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Andrew Warkentin
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Klein, Gerwin (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Klein, Gerwin (Data61, Kensington NSW)
  • Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset? Klein, Gerwin (Data61, Kensington NSW)
• [seL4] Plans for verification of IOMMU support on x86? Binary verification? Demi M. Obenour
  • Re: [seL4] Plans for verification of IOMMU support on x86? Binary verification? Klein, Gerwin (Data61, Kensington NSW)
• [seL4] Request for enhancement: Notification queues Demi M. Obenour
  • Re: [seL4] Request for enhancement: Notification queues Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Request for enhancement: Notification queues Demi M. Obenour
  • Re: [seL4] Request for enhancement: Notification queues Andrew Warkentin
  • Re: [seL4] Request for enhancement: Notification queues Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Request for enhancement: Notification queues Demi M. Obenour
  • Re: [seL4] Request for enhancement: Notification queues Andrew Warkentin
  • Re: [seL4] Request for enhancement: Notification queues Demi M. Obenour
  • Re: [seL4] Request for enhancement: Notification queues Andrew Warkentin
  • Re: [seL4] Request for enhancement: Notification queues Heiser, Gernot (Data61, Kensington NSW)
  • Re: [seL4] Request for enhancement: Notification queues Millar, Curtis (Data61, Kensington NSW)
  • Re: [seL4] Request for enhancement: Notification queues Demi M. Obenour
• Re: [seL4] Suggestion for Abdurahman Harry Butterworth
  • Re: [seL4] Suggestion for Abdurahman Harry Butterworth
• [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark

• Earlier messages
• Later messages