From 36137438446c1754a522c5b3cc3aff92c43ac1ee Mon Sep 17 00:00:00 2001 From: Aleksa Vuckovic Date: Wed, 13 Dec 2023 01:38:14 +0100 Subject: Initial commit X86/X86_64 debug/release WORKING riscv64 WORKING uart idk --- src/arch/x86/common/forall.rs | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 src/arch/x86/common/forall.rs (limited to 'src/arch/x86/common/forall.rs') diff --git a/src/arch/x86/common/forall.rs b/src/arch/x86/common/forall.rs new file mode 100644 index 0000000..39988e6 --- /dev/null +++ b/src/arch/x86/common/forall.rs @@ -0,0 +1,5 @@ +use crate::{print, println}; + +pub fn forall() { + println!("forall"); +} -- cgit v1.2.3