| commit | 41026d95bd249df5917c14cd92100ed041334e6d | [log] [tgz] |
|---|---|---|
| author | Sam Leffler <sleffler@google.com> | Fri Jun 03 14:33:06 2022 -0700 |
| committer | Sam Leffler <sleffler@google.com> | Thu Jul 28 11:17:25 2022 -0700 |
| tree | 410ffeb89cf595f83d830bb49d39b3450b6fbe5a | |
| parent | 881a780e78370d94d4654097172ef89e887e981b [diff] |
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