Next Generation WASM Microkernel Operating System
1// Copyright 2025 Jonas Kruckenberg
2//
3// Licensed under the Apache License, Version 2.0, <LICENSE-APACHE or
4// http://apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT or
5// http://opensource.org/licenses/MIT>, at your option. This file may not be
6// copied, modified, or distributed except according to those terms.
7
8cfg_if::cfg_if! {
9 if #[cfg(target_arch = "riscv64")] {
10 mod riscv64;
11 pub use riscv64::*;
12 pub use riscv::*;
13 } else {
14 compile_error!("Unsupported target architecture");
15 }
16}