Commit 56379e39 authored by gdritter's avatar gdritter

Delete submodule-based seL4 so we can use repo for this

parent 44af0ba4
Pipeline #462 failed with stage
in 0 seconds