move rust "libc" to separate crate and link with that instead

1 files changed, 0 insertions, 16 deletions

diff --git a/rust/src/lib.rs b/rust/src/lib.rs
deleted file mode 100644
index e64fbbd..0000000
--- a/rust/src/lib.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-#![no_std]
-
-#[panic_handler]
-fn panic(_info: &core::panic::PanicInfo) -> ! {
-    loop {}
-}
-
-#[no_mangle]
-pub unsafe extern "C" fn entry() {
-    exit(0x69);
-}
-
-#[link(name="pintos", kind="static")]
-extern {
-    fn exit(status: i32);
-}