/// timer: Platform timer support.
pub mod timer;
/// tpm: Platform TPM support.
pub mod tpm;