From 5d05dc8aba6dc9d78211c79418f71e2c6c38fab1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Tue, 24 Nov 2020 01:33:41 +0100 Subject: minor --- TODO | 7 ------- rust/src/lib.rs | 3 --- 2 files changed, 10 deletions(-) delete mode 100644 TODO diff --git a/TODO b/TODO deleted file mode 100644 index a86e0c0..0000000 --- a/TODO +++ /dev/null @@ -1,7 +0,0 @@ -4: build.rs som hanterar hela bygg-grejen. - -. -. -. - -99: i686-unknown-pintos diff --git a/rust/src/lib.rs b/rust/src/lib.rs index 43470b2..e64fbbd 100644 --- a/rust/src/lib.rs +++ b/rust/src/lib.rs @@ -1,7 +1,4 @@ #![no_std] -//#![feature(asm)] -//#![feature(link_args)] -//#![link_args = "-L -lpintos"] #[panic_handler] fn panic(_info: &core::panic::PanicInfo) -> ! { -- cgit v1.2.1