tree 410ffeb89cf595f83d830bb49d39b3450b6fbe5a
parent 881a780e78370d94d4654097172ef89e887e981b
author Sam Leffler <sleffler@google.com> 1654291986 -0700
committer Sam Leffler <sleffler@google.com> 1659032245 -0700

Add build-camkes.sh script to cross-build build public camkes.

This script builds the public seL4 camkes setup using the Rust rootserver
and related bits. The resulting image can be run to sanity-check the
Rust support on various platforms.

This is mostly used for portability testing and checking upstream compat.
Long-term this may be used to demonstrate public use of the Rust bits
of the system.

Change-Id: Ifcc05f89ef8f305b5d2639e1d947a07a02e9b750