From eba74d74502641a4565dc6011db33742e8450680 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Tue, 24 Nov 2020 15:08:20 +0100
Subject: move rust "libc" to separate crate and link with that instead

---
 libpintos-rs/src/lib.rs | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 libpintos-rs/src/lib.rs

(limited to 'libpintos-rs/src')

diff --git a/libpintos-rs/src/lib.rs b/libpintos-rs/src/lib.rs
new file mode 100644
index 0000000..2ad4657
--- /dev/null
+++ b/libpintos-rs/src/lib.rs
@@ -0,0 +1,6 @@
+#![no_std]
+
+#[link(name="pintos", kind="static")]
+extern {
+    pub fn exit(status: i32);
+}
-- 
cgit v1.2.1