/// Timer support.
pub mod timer;
/// TPM support.
pub mod tpm;