From 20eb8b73f7914c86812eda4b3b14ee2d0cd5a826 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Mon, 23 Nov 2020 14:52:17 +0100
Subject: userprog makefile

---
 halt/src/lib.rs | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 halt/src/lib.rs

(limited to 'halt/src/lib.rs')

diff --git a/halt/src/lib.rs b/halt/src/lib.rs
deleted file mode 100644
index 43470b2..0000000
--- a/halt/src/lib.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-#![no_std]
-//#![feature(asm)]
-//#![feature(link_args)]
-//#![link_args = "-L -lpintos"]
-
-#[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);
-}
-- 
cgit v1.2.1