DLR-FT sel4-rs issues - Githubissues

DLR-FT / sel4-rs

2 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Split sel4-rs into sel4-rs and sel4-rootserver-rs

#9 moritz-meier closed 7 months ago
1
Move kernel memory initialization to runtime

#8 moritz-meier closed 7 months ago
1
document how to generate single file deliverable

#7 wucke13 opened 1 year ago
5
fix sel4-overlay.ld

#6 moritz-meier closed 1 year ago
0
make sure outputs like the kernel etc. from `sel4-sys` are directly under `target/<triple>/sel4`

#5 wucke13 closed 7 months ago
2
autogenerate `kernel.dtb.elf` from `kernel.dtb` automatically in `sel4-sys`'s `build.rs`

#4 wucke13 closed 7 months ago
3
Dev/add flake

#3 wucke13 opened 1 year ago
0
autodetect toolchain prefix using priority lists

#2 wucke13 opened 1 year ago
1
allow injection of CMake flags through environment variable for `sel4-sys`

#1 wucke13 opened 1 year ago
1