twizzler-operating-system / twizzler

The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
62 stars 13 forks source link

Implement basic secure gate infrastructure #166

Closed dbittman closed 6 months ago

dbittman commented 6 months ago

This PR continues towards secure gates, implementing the following:

This is pretty limited right now in terms of the types that can be passed and the functions that can be made into secure gates, and it does not currently do any security enforcement. This PR is about getting rust itself on board with this nonsense :)

A side effect that is noteworthy is that we now set CC and CFLAGS env vars in xtask so that crates that compile C code can do so with our patched clang.

dbittman commented 6 months ago

Yup, makes sense. Had originally intended to remove this for the PR but forgot.