Rename QuantumPortal to VeraPortal

Author: corigan01

crates/chloroplast/src/lib.rs

@@ -25,6 +25,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 
 #![no_std]
 
+extern crate alloc;
+
 use alloc::{
     collections::{btree_set::BTreeSet, vec_deque::VecDeque},
     sync::Arc,
@@ -35,8 +37,6 @@ use runner::TaskRunner;
 use runtime::{GuardedJob, GuardedJobStatus, RuntimeSupport};
 use task::Task;
 
-extern crate alloc;
-
 pub mod runner;
 pub mod runtime;
 pub mod task;

kernel/src/locks/schedule_lock.rs

@@ -23,7 +23,7 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
 OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 */
 
-use core::fmt::{Debug, Write};
+use core::fmt::Debug;
 use core::ops::{Deref, DerefMut};
 use core::sync::atomic::{AtomicUsize, Ordering};
 use core::{cell::UnsafeCell, sync::atomic::AtomicBool};

kernel/src/main.rs

@@ -30,6 +30,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #![feature(allocator_api)]
 #![feature(naked_functions)]
 
+extern crate alloc;
+
 mod context;
 mod gdt;
 mod int;
@@ -40,12 +42,10 @@ mod processor;
 mod qemu;
 mod syscall_handler;
 mod timer;
-extern crate alloc;
-
-use core::cell::SyncUnsafeCell;
 
 use arch::supports::cpu_vender;
 use bootloader::KernelBootHeader;
+use core::cell::SyncUnsafeCell;
 use lignan::{debug_ready, logln, make_debug};
 use mem::{
     alloc::{KernelAllocator, provide_init_region},
@@ -76,7 +76,7 @@ extern "C" fn _start(kbh: u64) -> ! {
 
 #[debug_ready]
 fn main(kbh: &KernelBootHeader) {
-    logln!("Welcome to the Quantum Kernel!");
+    logln!("Welcome to the Vera Kernel!");
     logln!(
         "Free Memory : {}",
         HumanBytes::from(kbh.phys_mem_map.bytes_of(mem::phys::PhysMemoryKind::Free))

kernel/src/syscall_handler.rs

@@ -26,14 +26,14 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 use crate::process::{HandleError, Process, scheduler::Scheduler};
 use alloc::{format, string::String};
 use arch::io::IOPort;
-use lignan::{LogKind, logln, warnln};
+use lignan::{LogKind, warnln};
 use mem::paging::VmPermissions;
+use util::consts::PAGE_4K;
 use vera_portal::{
     ConnectHandleError, DebugMsgError, ExitReason, MapMemoryError, MemoryLocation,
-    MemoryProtections, QuantumPortal, RecvHandleError, SendHandleError, ServeHandleError,
-    WaitSignal, sys_server::QuantumPortalServer,
+    MemoryProtections, RecvHandleError, SendHandleError, ServeHandleError, VeraPortal, WaitSignal,
+    sys_server::VeraPortalServer,
 };
-use util::consts::PAGE_4K;
 
 #[unsafe(no_mangle)]
 extern "C" fn syscall_handler(
@@ -51,13 +51,13 @@ extern "C" fn syscall_handler(
 
 pub struct KernelSyscalls {}
 
-impl QuantumPortalServer for KernelSyscalls {
+impl VeraPortalServer for KernelSyscalls {
     fn verify_user_ptr<T: Sized>(_ptr: *const T) -> bool {
         true
     }
 }
 
-impl QuantumPortal for KernelSyscalls {
+impl VeraPortal for KernelSyscalls {
     fn exit(exit_reason: ExitReason) -> ! {
         let current_thread = Scheduler::get().current_thread().upgrade().unwrap();
         warnln!(
@@ -90,7 +90,7 @@ impl QuantumPortal for KernelSyscalls {
 
         match location {
             MemoryLocation::Anywhere => current_thread.process.map_anon_anywhere(n_pages, vperm),
-            MemoryLocation::PhysicalLoc(physical_ptr) => {
+            MemoryLocation::PhysicalLoc(_) => {
                 todo!()
             }
         }

portals/vera-portal/src/lib.rs

@@ -28,7 +28,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 use portal::portal;
 
 #[portal(protocol = "syscall", global = true)]
-pub trait QuantumPortal {
+pub trait VeraPortal {
     #[event = 0]
     fn exit(exit_reason: ExitReason) -> ! {
         enum ExitReason {