GKaszewski/k-os
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: userspace round-trip — syscall stubs, ecall dispatch, U-mode entry and exit on QEMU

Browse Source
This commit is contained in:
Gabriel Kaszewski
2026-10-18 02:15:35 +02:00
parent 450d74d07f
commit 570fe22bee
11 changed files with 322 additions and 115 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
crates/types/src/lib.rs
View File

@@ -8,4 +8,5 @@ pub mod macros;
pub mod permission;
#[cfg(kani)]
pub mod proofs;
pub mod syscall_abi;
pub mod time;

17
crates/types/src/syscall_abi.rs Normal file
View File

@@ -0,0 +1,17 @@
pub const SYS_SEND: usize = 0;
pub const SYS_RECEIVE: usize = 1;
pub const SYS_DELEGATE: usize = 2;
pub const SYS_WAIT_FOR_INTERRUPT: usize = 3;
pub const SYS_ACKNOWLEDGE_INTERRUPT: usize = 4;
pub const SYS_WAIT_ANY: usize = 5;
pub const SYS_CREATE_PROCESS: usize = 6;
pub const SYS_KILL: usize = 7;
pub const SYS_REVOKE: usize = 8;
pub const SYS_SPAWN_THREAD: usize = 9;
pub const SYS_EXIT_THREAD: usize = 10;
pub const SYS_REQUEST_PAGES: usize = 11;
pub const SYS_RELEASE_PAGES: usize = 12;
pub const SYS_GET_TIME: usize = 13;
pub const SYS_GET_PROCESS_ID: usize = 14;
pub const SYS_YIELD: usize = 15;
pub const SYS_EXIT: usize = 16;