rv32i/
lib.rs

1// Licensed under the Apache License, Version 2.0 or the MIT License.
2// SPDX-License-Identifier: Apache-2.0 OR MIT
3// Copyright Tock Contributors 2022.
4
5//! Support for the 32-bit RISC-V architecture.
6
7#![no_std]
8
9pub mod clic;
10pub mod machine_timer;
11
12// Re-export shared libraries so that dependent crates do not have to have
13// both rv32i and riscv as dependencies.
14pub use riscv::csr;
15pub use riscv::pmp;
16pub use riscv::print_riscv_state;
17pub use riscv::support;
18pub use riscv::syscall;
19pub use riscv::PermissionMode;
20pub use riscv::_start;
21pub use riscv::_start_trap;
22pub use riscv::configure_trap_handler;
23pub use riscv::print_mcause;
24pub use riscv::semihost_command;