diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 15:14:19 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 15:15:04 +0100 |
| commit | ebb4935f56e96597e5993708118cc75711c1c87e (patch) | |
| tree | 028513ba0c91db9149d20f9baf398664a8c0d1f3 /kernel/src | |
| parent | eba74d74502641a4565dc6011db33742e8450680 (diff) | |
| download | pintos-rs-ebb4935f56e96597e5993708118cc75711c1c87e.tar.gz | |
rename kernel -> kernel-rs
Diffstat (limited to 'kernel/src')
| -rw-r--r-- | kernel/src/lib.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/kernel/src/lib.rs b/kernel/src/lib.rs deleted file mode 100644 index 7893919..0000000 --- a/kernel/src/lib.rs +++ /dev/null @@ -1,17 +0,0 @@ -#![no_std] - -#[panic_handler] -fn panic(_info: &core::panic::PanicInfo) -> ! { - loop {} -} - -#[no_mangle] -pub unsafe extern "C" fn syscall_handler() { - printf("c suger lmao xd %d\n".as_ptr(), 69); - thread_exit(); -} - -extern { - fn thread_exit(); - fn printf(format: *const u8, ...); -} |
