Skip to content

Actions: au-ts/board_images_for_sel4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add LICENSE Build #32: Commit 89f279a pushed by Ivan-Velickovic
6m 25s main
main
6m 25s
Add release.sh script Build #31: Commit cf21c33 pushed by Ivan-Velickovic
6m 20s main
main
6m 20s
Raspberry Pi 5B support Build #30: Commit 65abf56 pushed by Ivan-Velickovic
6m 23s main
main
6m 23s
Add Milk-V Jupiter U-Boot - currently untested Build #29: Commit 5c2ae11 pushed by Ivan-Velickovic
6m 5s main
main
6m 5s
README: add line about motivation Build #28: Commit 1b21ff6 pushed by Ivan-Velickovic
5m 41s main
main
5m 41s
Add HiFive Premier P550 U-Boot Build #27: Commit 25662e1 pushed by Ivan-Velickovic
5m 40s main
main
5m 40s
cheshire: document why using opensbi fork Build #26: Commit 15c9a6a pushed by midnightveil
5m 54s main
main
5m 54s
Initial images for NanoPi R5C platform Build #25: Commit a5faef0 pushed by midnightveil
5m 50s main
main
5m 50s
Revert "Use mainline OpenSBI for Cheshire instead of fork" Build #24: Commit cb4fa53 pushed by midnightveil
5m 47s main
main
5m 47s
Initial images for NanoPi R5C platform Build #23: Commit a5faef0 pushed by Ivan-Velickovic
5m 49s main
main
5m 49s
Use mainline OpenSBI for Cheshire instead of fork Build #22: Commit 72d5670 pushed by Ivan-Velickovic
5m 8s main
main
5m 8s
Remove cheshire debug prints Build #21: Commit 68abdfd pushed by midnightveil
5m 5s main
main
5m 5s
Add Star64 to README Build #20: Commit 84893c6 pushed by Ivan-Velickovic
5m 11s main
main
5m 11s
Add Cheshire to README Build #19: Commit 91f5192 pushed by Ivan-Velickovic
4m 59s main
main
4m 59s
maaxboard: add more partitions Build #18: Commit ae2075e pushed by Ivan-Velickovic
5m 8s main
main
5m 8s
cheshire: change FW_JUMP address to 0x90000000 Build #17: Commit d002ab4 pushed by Ivan-Velickovic
4m 55s main
main
4m 55s
change cheshire fw jump address to 0x9000000 (the default load address for seL4) Build #16: Pull request #3 opened by midnightveil
4m 58s midnightveil:cheshire
midnightveil:cheshire
4m 58s
add opensbi+u-boot SD card for cheshire Build #15: Commit 0ffe6c6 pushed by Ivan-Velickovic
5m 5s main
main
5m 5s
add opensbi+u-boot SD card for cheshire Build #14: Pull request #2 synchronize by midnightveil
5m 5s midnightveil:cheshire
midnightveil:cheshire
5m 5s
add opensbi+u-boot SD card for cheshire Build #13: Pull request #2 synchronize by midnightveil
3m 8s midnightveil:cheshire
midnightveil:cheshire
3m 8s
add opensbi+u-boot SD card for cheshire Build #12: Pull request #2 opened by midnightveil
2m 45s midnightveil:cheshire
midnightveil:cheshire
2m 45s
README fix Build #11: Commit 2b0956d pushed by Ivan-Velickovic
4m 21s main
main
4m 21s
add tx2 uboot with patch for booting seL4 uImages Build #10: Commit 7afdd99 pushed by Ivan-Velickovic
4m 22s main
main
4m 22s
Update to nixos-25.05 Build #5: Commit c3b8564 pushed by Ivan-Velickovic
4m 16s main
main
4m 16s
include zipping in allImages Build #4: Commit b2a6bf4 pushed by Ivan-Velickovic
10m 10s main
main
10m 10s