crates/sel4-microkit: Move more into base

Signed-off-by: Nick Spinale <[email protected]>

crates/sel4-microkit/src/ipc.rs → crates/sel4-microkit/base/src/ipc.rs

@@ -4,7 +4,7 @@
 // SPDX-License-Identifier: BSD-2-Clause
 //
 
-use sel4_microkit_base::MessageInfo;
+use crate::MessageInfo;
 
 use crate::{defer::PreparedDeferredAction, Channel, ProtectionDomain};
 

crates/sel4-microkit/base/src/lib.rs

@@ -8,10 +8,17 @@
 #![feature(used_with_arg)]
 
 mod channel;
+mod defer;
+mod handler;
 mod message;
 mod symbols;
 
+#[doc(hidden)]
+pub mod ipc;
+
 pub use channel::{Channel, IrqAckError, ProtectionDomain};
+pub use defer::{DeferredAction, DeferredActionInterface, DeferredActionSlot};
+pub use handler::{Handler, Infallible, NullHandler};
 pub use message::{
     get_mr, set_mr, with_msg_bytes, with_msg_bytes_mut, with_msg_regs, with_msg_regs_mut,
     MessageInfo, MessageLabel, MessageRegisterValue,

crates/sel4-microkit/src/entry.rs

@@ -10,7 +10,7 @@ use sel4_microkit_base::ipc_buffer_ptr;
 use sel4_panicking::catch_unwind;
 use sel4_panicking_env::abort;
 
-use crate::{handler::Handler, panicking::init_panicking};
+use crate::{panicking::init_panicking, Handler};
 
 #[cfg(target_thread_local)]
 #[no_mangle]

crates/sel4-microkit/src/lib.rs

@@ -38,19 +38,12 @@ extern crate alloc;
 pub use sel4_microkit_base::*;
 pub use sel4_microkit_macros::protection_domain;
 
-mod defer;
 mod entry;
-mod handler;
 mod heap;
 mod printing;
 
 pub mod panicking;
 
-#[doc(hidden)]
-pub mod ipc;
-
-pub use defer::{DeferredAction, DeferredActionInterface, DeferredActionSlot};
-pub use handler::{Handler, Infallible, NullHandler};
 pub use printing::{debug_print, debug_println};
 
 /// Declares the initialization function, stack size, and, optionally, heap and heap size.