cantrip: cleanups for wrapping in a module
Enable including the generated code wrapped in a module; e.g.
mod generated {
include!(concat!(env!("SEL4_OUT_DIR"), "/../mailbox_driver/camkes.rs"));
}
use generated::*;
While here fix some compiler/clippy complaints (e.g. unneeded unsafe).
Bug: 283167860
Change-Id: Idb0f5fa9b8927382ef2688fa5bd79720187e06b6
This repository contains the code generator and templating system that form the core of the CAmkES component platform.
For more information about CAmkES functionality, see the documentation.
See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies
If you believe you have found a security vulnerability in code generated by camkes-tool, we ask you to follow the seL4 vulnerability disclosure policy.