Skip to content

Actions: seL4/seL4_projects_libs

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

libsel4vm: Proper error for map_vm_memory_res PR #346: Pull request #127 opened by Furao
April 18, 2024 18:43 21s dornerworks:vm_memory_reservation_error
dornerworks:vm_memory_reservation_error
April 18, 2024 18:43 21s
vmmplatsupport, vpci: Fix unaligned writes PR #345: Pull request #123 synchronize by elmankku
February 23, 2024 13:11 32s tiiuae:upstream/pci-config-unaligned-writes
tiiuae:upstream/pci-config-unaligned-writes
February 23, 2024 13:11 32s
libsel4vm: Remove SMP config guard on vmpidr reg PR #344: Pull request #125 opened by kent-mcleod
February 23, 2024 06:12 24s kent-mcleod:kent/1015
kent-mcleod:kent/1015
February 23, 2024 06:12 24s
Arm vm multicore debug PR #343: Pull request #124 synchronize by chrisguikema
February 1, 2024 17:41 24s chrisguikema:arm-vm-multicore-debug
chrisguikema:arm-vm-multicore-debug
February 1, 2024 17:41 24s
Arm vm multicore debug PR #342: Pull request #124 opened by chrisguikema
February 1, 2024 16:32 22s chrisguikema:arm-vm-multicore-debug
chrisguikema:arm-vm-multicore-debug
February 1, 2024 16:32 22s
Arm VM Multicore Improvements PR #341: Pull request #84 synchronize by chrisguikema
February 1, 2024 14:58 19s dornerworks:arm-vm-multicore
dornerworks:arm-vm-multicore
February 1, 2024 14:58 19s
Arm VM Multicore Improvements PR #340: Pull request #84 synchronize by chrisguikema
February 1, 2024 14:57 25s dornerworks:arm-vm-multicore
dornerworks:arm-vm-multicore
February 1, 2024 14:57 25s
vmmplatsupport, vpci: Fix unaligned writes PR #339: Pull request #123 synchronize by elmankku
January 29, 2024 14:02 31s tiiuae:upstream/pci-config-unaligned-writes
tiiuae:upstream/pci-config-unaligned-writes
January 29, 2024 14:02 31s
vmmplatsupport, vpci: Fix unaligned writes PR #338: Pull request #123 opened by elmankku
January 17, 2024 05:05 25s tiiuae:upstream/pci-config-unaligned-writes
tiiuae:upstream/pci-config-unaligned-writes
January 17, 2024 05:05 25s
vmmplatsupport: support hpet emulation PR #337: Pull request #117 synchronize by chrisguikema
November 15, 2023 02:06 26s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
November 15, 2023 02:06 26s
vmmplatsupport: support hpet emulation PR #336: Pull request #117 synchronize by chrisguikema
November 9, 2023 14:44 26s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
November 9, 2023 14:44 26s
x86, decode: fix 4-level page table walk PR #335: Pull request #121 synchronize by chrisguikema
November 8, 2023 22:02 18s chrisguikema:page_table_walk_fix
chrisguikema:page_table_walk_fix
November 8, 2023 22:02 18s
trivial, decode: fix zf_log statements PR #334: Pull request #122 opened by chrisguikema
November 8, 2023 19:18 31s chrisguikema:decode_zf_log_fixes
chrisguikema:decode_zf_log_fixes
November 8, 2023 19:18 31s
x86, decode: fix 4-level page table walk PR #333: Pull request #121 synchronize by chrisguikema
November 3, 2023 13:19 31s chrisguikema:page_table_walk_fix
chrisguikema:page_table_walk_fix
November 3, 2023 13:19 31s
x86, decode: fix 4-level page table walk PR #332: Pull request #121 opened by chrisguikema
November 1, 2023 17:58 20s chrisguikema:page_table_walk_fix
chrisguikema:page_table_walk_fix
November 1, 2023 17:58 20s
vmmplatsupport, vesa: fix vesa mapping PR #331: Pull request #119 synchronize by chrisguikema
October 31, 2023 13:10 29s chrisguikema:vesa_framebuffer_fix
chrisguikema:vesa_framebuffer_fix
October 31, 2023 13:10 29s
vmmplatsupport, vesa: fix vesa mapping PR #330: Pull request #119 synchronize by chrisguikema
October 30, 2023 19:46 1m 57s chrisguikema:vesa_framebuffer_fix
chrisguikema:vesa_framebuffer_fix
October 30, 2023 19:46 1m 57s
vmmplatsupport: support hpet emulation PR #329: Pull request #117 synchronize by chrisguikema
October 30, 2023 13:06 27s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 30, 2023 13:06 27s
vmmplatsupport: support hpet emulation PR #328: Pull request #117 synchronize by chrisguikema
October 27, 2023 14:53 1m 29s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 27, 2023 14:53 1m 29s
vmmplatsupport: support hpet emulation PR #327: Pull request #117 synchronize by chrisguikema
October 27, 2023 14:52 26s chrisguikema:emulate_hpet
chrisguikema:emulate_hpet
October 27, 2023 14:52 26s
vmmplatsupport, x86: remove e820 entry PR #326: Pull request #118 synchronize by chrisguikema
October 27, 2023 13:03 26s chrisguikema:allow_64_bit_memory
chrisguikema:allow_64_bit_memory
October 27, 2023 13:03 26s
Guest ram fixes PR #325: Pull request #116 synchronize by chrisguikema
October 26, 2023 23:06 39s chrisguikema:guest_ram_fixes
chrisguikema:guest_ram_fixes
October 26, 2023 23:06 39s
vmmplatsupport, x86: remove e820 entry PR #324: Pull request #118 synchronize by chrisguikema
October 26, 2023 23:06 27s chrisguikema:allow_64_bit_memory
chrisguikema:allow_64_bit_memory
October 26, 2023 23:06 27s
vmmplatsupport, pci: fix offset bug PR #323: Pull request #120 opened by chrisguikema
October 26, 2023 17:05 26s chrisguikema:pci_offset_fix
chrisguikema:pci_offset_fix
October 26, 2023 17:05 26s
vmmplatsupport, vesa: fix vesa mapping PR #322: Pull request #119 opened by chrisguikema
October 26, 2023 14:34 26s chrisguikema:vesa_framebuffer_fix
chrisguikema:vesa_framebuffer_fix
October 26, 2023 14:34 26s