tree 5765f95ac7e033e2a7e350dd27a2e1ff8109dfa2
parent 65a541d680525f03e7d8fc253da69be26e82e154
author June Tate-Gans <jtgans@google.com> 1698423531 +0000
committer June Tate-Gans <jtgans@google.com> 1698423531 +0000

sel4: Move sel4 kernel and libs to 3p

We've made changes to these repositories, but they're still 3p code
primarily. Move over to the 3p moniker to reduce automated security
complaints on code we can't directly influence.

Change-Id: Ieecf6940a3fe5bcb2e6d4c7fa9e8cfcf5393bd5a