Sam Leffler a9901bfff9 kata-security-coordinator: move test_mailbox to the real impl ... Make the mailbox_api dependency optional so builds without a security core work as intended. This means users of the fake lose the test_mailbox shell command but given it was only a test vehicle it should be ok to require configuring the sel4 feature. As part of this update the "real impl" skeleton to the current traits. Change-Id: I2a8628d316cca576d9c5dc579f099e16003a8f19 GitOrigin-RevId: e6232073ed02aa6919ef2ed11a80dee1bcb11872		2022-10-18 15:35:53 -07:00
..
kata-security-component	kata-security-component: minor cleanups	2022-10-06 19:03:39 +00:00
kata-security-coordinator	kata-security-coordinator: move test_mailbox to the real impl	2022-10-18 15:35:53 -07:00
kata-security-interface	kata-security-interface: guard against sending a random cap	2022-10-06 19:03:46 +00:00
Cargo.toml	kata: Prepend the Google copyright and Apache 2.0 license	2022-10-06 18:59:16 +00:00
SecurityCoordinator.camkes	kata-security-coordinator: move test_mailbox to the real impl	2022-10-18 15:35:53 -07:00