cheribuild
cheribuild copied to clipboard
CTSRD-CHERI
seL4: Add new compilation targets
CI failure looks unrelated. Change looks good to me now, although you aren't actually using it yet.
CI failure looks unrelated. Change looks good to me now, although you aren't actually using it yet.
You can actually build compiler-rt-builtins-sel4-morello-aarch64 and compiler-rt-builtins-sel4-riscv64 with this PR. Also if you add -d it will install "-none--" tools symlinks required for building seL4. But there's still no seL4 target build yet, that I may add in the future.
CI failure looks unrelated. Change looks good to me now, although you aren't actually using it yet.
You can actually build
compiler-rt-builtins-sel4-morello-aarch64andcompiler-rt-builtins-sel4-riscv64with this PR. Also if you add-dit will install "-none--" tools symlinks required for building seL4. But there's still no seL4 target build yet, that I may add in the future.
True, but couldn't you use the generic baremetal compiler-rt target already? Adding the symlinks should also be possible without the new target info
CI failure looks unrelated. Change looks good to me now, although you aren't actually using it yet.
You can actually build
compiler-rt-builtins-sel4-morello-aarch64andcompiler-rt-builtins-sel4-riscv64with this PR. Also if you add-dit will install "-none--" tools symlinks required for building seL4. But there's still no seL4 target build yet, that I may add in the future.True, but couldn't you use the generic baremetal compiler-rt target already? Adding the symlinks should also be possible without the new target info
Yeah I could just use baremetal. But some variants may need different flags (e.g., hard-float vs soft-float which is the default for bare metal?) or extensions as well. I am happy to wait for this PR until I decide if it's a good idea to build seL4 projects for cheribuild or not.