devel  

Messages by Thread

• • 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
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Chris Guikema
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Shen, Yanyan (Data61, Kensington NSW)
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Chris Guikema
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mike Clark
  • Re: [seL4] Problem booting camkes arm vmm on TK1 from SD Card Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Initializing of the sel4 tutorials fails because of missing the CMakeLists.txt Florian Berenbrinker
  • Re: [seL4] Initializing of the sel4 tutorials fails because of missing the CMakeLists.txt Mcleod, Kent (Data61, Kensington NSW)
  • [seL4] camkes component consuming two events question. Florian Berenbrinker
  • Re: [seL4] camkes component consuming two events question. Mcleod, Kent (Data61, Kensington NSW)
• [seL4] fastpath performance test Dd Nirvana
  • Re: [seL4] fastpath performance test Shen, Yanyan (Data61, Kensington NSW)
• [seL4] Understand seL4 x86_64 Kernel ABI calling convention Alexandre Mutel
  • Re: [seL4] Understand seL4 x86_64 Kernel ABI calling convention Alexandre Mutel
• [seL4] 答复: some question about the compile of global-components in camkes_arm_vm project yadong . li
  • Re: [seL4] some question about the compile of global-components in camkes_arm_vm project Mcleod, Kent (Data61, Kensington NSW)
• [seL4] some question about the compile of global-components in camkes_arm_vm project yadong . li
• [seL4] Using seL4_DebugSnapshot() rasd
  • Re: [seL4] Using seL4_DebugSnapshot() Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Camkes Project on Sabre Lite i.mx6 board Parvaneh Ahgajani
  • Re: [seL4] Camkes Project on Sabre Lite i.mx6 board Lee, Damon (Data61, Kensington NSW)
• [seL4] Error while building in docker Edward Sandberg
  • Re: [seL4] Error while building in docker Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Hardware-aided Trusted Computing devroom at FOSDEM Vasily A. Sartakov
  • Re: [seL4] Hardware-aided Trusted Computing devroom at FOSDEM Jheengut Pritvi
• [seL4] Blog on seL4 licensing Heiser, Gernot (Data61, Kensington NSW)
• [seL4] try to add vm in zynqmp, but when run rootserve crash. yadong . li
• [seL4] Userspace debugging with QEMU/gdb Jiusheng Liu
  • Re: [seL4] Userspace debugging with QEMU/gdb Mcleod, Kent (Data61, Kensington NSW)
  • Re: [seL4] Userspace debugging with QEMU/gdb Jiusheng Liu
• Re: [seL4] Devel Digest, Vol 66, Issue 26 Millar, Curtis (Data61, Kensington NSW)
• [seL4] Understand how TLS is setup in the root server for x64 Alexandre Mutel
  • Re: [seL4] Understand how TLS is setup in the root server for x64 Alexandre Mutel
  • Re: [seL4] Understand how TLS is setup in the root server for x64 Alexandre Mutel
  • Re: [seL4] Understand how TLS is setup in the root server for x64 Millar, Curtis (Data61, Kensington NSW)
  • Re: [seL4] Understand how TLS is setup in the root server for x64 Alexandre Mutel
• [seL4] compile camkes_arm_vm project(tx1 vm_minimal), The file format is not correct yadong . li
  • Re: [seL4] compile camkes_arm_vm project(tx1 vm_minimal), The file format is not correct Lee, Damon (Data61, Kensington NSW)
• [seL4] Nasty bug in global-components/templates/rpc-signalling.template.c Nogin, Aleksey
  • Re: [seL4] Nasty bug in global-components/templates/rpc-signalling.template.c Mcleod, Kent (Data61, Kensington NSW)
• [seL4] Camkes and GPIO Parvaneh Ahgajani
  • Re: [seL4] Camkes and GPIO Lee, Damon (Data61, Kensington NSW)
  • Re: [seL4] Camkes and GPIO Lee, Damon (Data61, Kensington NSW)
  • Re: [seL4] Camkes and GPIO Lee, Damon (Data61, Kensington NSW)
  • Re: [seL4] Camkes and GPIO Parvaneh Ahgajani
  • Re: [seL4] Camkes and GPIO Lee, Damon (Data61, Kensington NSW)

• Earlier messages
• Later messages