Skip to content

Actions: seL4/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,001 workflow runs
2,001 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

loader,smp: Make sure MMU is enabled on all cores for cache coherency. CI #1532: Pull request #465 opened by bruelc
50s bruelc:master-cpusync
bruelc:master-cpusync
50s
loader,smp: Make sure MMU is enabled on all cores for cache coherency. PR #1190: Pull request #465 opened by bruelc
56s bruelc:master-cpusync
bruelc:master-cpusync
56s
loader,smp: Make sure MMU is enabled on all cores for cache coherency. SDK #1515: Pull request #465 opened by bruelc
28m 11s bruelc:master-cpusync
bruelc:master-cpusync
28m 11s
aarch64: Restrict address mappings in loader.rs PR #1189: Pull request #464 opened by bruelc
57s bruelc:master-mmuloader
bruelc:master-mmuloader
57s
aarch64: Restrict address mappings in loader.rs CI #1531: Pull request #464 opened by bruelc
53s bruelc:master-mmuloader
bruelc:master-mmuloader
53s
aarch64: Restrict address mappings in loader.rs SDK #1514: Pull request #464 opened by bruelc
16m 51s bruelc:master-mmuloader
bruelc:master-mmuloader
16m 51s
Fix x86 MSI PCI parsing + add x86 IRQ vector range check CI #1530: Pull request #433 synchronize by dreamliner787-9
46s au-ts:fix_pci_parsing
au-ts:fix_pci_parsing
46s
Fix x86 MSI PCI parsing + add x86 IRQ vector range check PR #1188: Pull request #433 synchronize by dreamliner787-9
23m 45s au-ts:fix_pci_parsing
au-ts:fix_pci_parsing
23m 45s
Fix x86 MSI PCI parsing + add x86 IRQ vector range check SDK #1513: Pull request #433 synchronize by dreamliner787-9
26m 56s au-ts:fix_pci_parsing
au-ts:fix_pci_parsing
26m 56s
Add stm32mp2 support PR #1187: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support CI #1529: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support SDK #1512: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support PR #1186: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support CI #1528: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
Add stm32mp2 support SDK #1511: Pull request #446 synchronize by bruelc
Action required bruelc:stm32mp2
bruelc:stm32mp2
Action required
libmicrokit: add microkit_vcpu_x86_deferred_resume() call PR #1185: Pull request #431 synchronize by dreamliner787-9
22m 53s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
22m 53s
libmicrokit: add microkit_vcpu_x86_deferred_resume() call CI #1527: Pull request #431 synchronize by dreamliner787-9
42s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
42s
libmicrokit: add microkit_vcpu_x86_deferred_resume() call SDK #1510: Pull request #431 synchronize by dreamliner787-9
28m 51s au-ts:x86_vcpu_resume
au-ts:x86_vcpu_resume
28m 51s
Add support for FPU flag for PDs CI #1526: Pull request #404 synchronize by JDuchniewicz
58s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
58s
Add support for FPU flag for PDs PR #1184: Pull request #404 synchronize by JDuchniewicz
32m 20s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
32m 20s
Add support for FPU flag for PDs SDK #1509: Pull request #404 synchronize by JDuchniewicz
8m 36s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
8m 36s
Add support for FPU flag for PDs PR #1183: Pull request #404 synchronize by JDuchniewicz
40m 37s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
40m 37s
Add support for FPU flag for PDs CI #1525: Pull request #404 synchronize by JDuchniewicz
51s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
51s
Add support for FPU flag for PDs SDK #1508: Pull request #404 synchronize by JDuchniewicz
9m 9s au-ts:jakub/fpu_flag
au-ts:jakub/fpu_flag
9m 9s
Start 2.2.0-dev release cycle CI #1524: Commit c83d507 pushed by Ivan-Velickovic
47s main
main
47s