search

DLR-FT / sel4-rs

2 stars 1 forks source link

Split sel4-rs into sel4-rs and sel4-rootserver-rs #9

Closed moritz-meier closed 7 months ago

moritz-meier commented 1 year ago

Split sel4-rs into sel4-rs and sel4-rootserver-rs, so that we can use sel4-rs as dependency in non-rootserver packages (for example partitions or libs)

moritz-meier commented 7 months ago

done.