Skip to content

Actions: seL4/rust-sel4

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hardware debug config support PR #131: Pull request #320 synchronize by Kswin01
53s au-ts:hardware_debug
au-ts:hardware_debug
53s
Hardware debug config support PR #130: Pull request #320 synchronize by Kswin01
48s au-ts:hardware_debug
au-ts:hardware_debug
48s
Hardware debug config support PR #129: Pull request #320 opened by Kswin01
51s au-ts:hardware_debug
au-ts:hardware_debug
51s
sel4: add seL4_X86_EPT_VMAttributes enum PR #128: Pull request #317 synchronize by dreamliner787-9
53s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
53s
sel4: add seL4_X86_EPT_VMAttributes enum PR #127: Pull request #317 synchronize by dreamliner787-9
56s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
56s
sel4: add seL4_X86_EPT_VMAttributes enum PR #126: Pull request #317 synchronize by dreamliner787-9
58s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
58s
sel4: add seL4_X86_EPT_VMAttributes enum PR #125: Pull request #317 synchronize by Ivan-Velickovic
52s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
52s
Szymon/odroidc2 support for rust-sel4 kernel-loader PR #124: Pull request #318 opened by Willmish
Action required au-ts:szymon/odroidc2-support
au-ts:szymon/odroidc2-support
Action required
sel4: add seL4_X86_EPT_VMAttributes enum PR #123: Pull request #317 opened by Ivan-Velickovic
54s au-ts:x86_ept_vmattributes
au-ts:x86_ept_vmattributes
54s
Add support for FPU flags for PDs PR #121: Pull request #316 opened by JDuchniewicz
56s JDuchniewicz:fpu_flag
JDuchniewicz:fpu_flag
56s
Update VERSION file to 3.0.0-dev PR #120: Pull request #315 opened by nspin
51s nspin:pr/version-dev
nspin:pr/version-dev
51s
Release 3.0.0 PR #119: Pull request #314 opened by nspin
1m 0s nspin:pr/release-3.0.0
nspin:pr/release-3.0.0
1m 0s
Use new release versions of seL4 and Microkit PR #118: Pull request #313 opened by nspin
52s nspin:pr/use-release-versions-of-deps
nspin:pr/use-release-versions-of-deps
52s
Remove pure-Rust sDDF bindings, begin link-level bindings PR #117: Pull request #296 synchronize by nspin
58s nspin:pr/sddf-fresh-start
nspin:pr/sddf-fresh-start
58s
nix: Use upstream seL4 PR #116: Pull request #312 opened by nspin
1m 9s nspin:pr/nix-upstream-sel4
nspin:pr/nix-upstream-sel4
1m 9s
Bump seL4 and Microkit to HEAD PR #115: Pull request #311 synchronize by nspin
51s nspin:pr/bump-sel4-ukit-to-head
nspin:pr/bump-sel4-ukit-to-head
51s
Bump seL4 and Microkit to HEAD PR #114: Pull request #311 opened by nspin
50s nspin:pr/bump-sel4-ukit-to-head
nspin:pr/bump-sel4-ukit-to-head
50s
Make CapDL initializer logging configurable via "spec" PR #113: Pull request #310 synchronize by nspin
1m 12s nspin:pr/capdl-logging
nspin:pr/capdl-logging
1m 12s
Make CapDL initializer logging configurable via "spec" PR #112: Pull request #310 synchronize by nspin
54s nspin:pr/capdl-logging
nspin:pr/capdl-logging
54s
Make CapDL initializer logging configurable via "spec" PR #111: Pull request #310 opened by nspin
2m 2s nspin:pr/capdl-logging
nspin:pr/capdl-logging
2m 2s
Remove spec-size-dependent buffer from CapDL initializer PR #110: Pull request #309 opened by nspin
1m 4s nspin:pr/capdl-rm-buffers
nspin:pr/capdl-rm-buffers
1m 4s
Use lower priorities in Microkit systems PR #109: Pull request #308 opened by nspin
48s nspin:pr/lower-prios-in-tests
nspin:pr/lower-prios-in-tests
48s
Add x86_64-sel4-microkit* and *-sel4-roottask* target specs PR #108: Pull request #307 synchronize by nspin
51s nspin:pr/more-target-specs
nspin:pr/more-target-specs
51s
Add x86_64-sel4-microkit* and *-sel4-roottask* target specs PR #107: Pull request #307 synchronize by nspin
44s nspin:pr/more-target-specs
nspin:pr/more-target-specs
44s
Add x86_64-sel4-microkit* and *-sel4-roottask* target specs PR #106: Pull request #307 opened by nspin
56s nspin:pr/more-target-specs
nspin:pr/more-target-specs
56s