From 5a5c5a914176c6993621c36f6c0c15899ff372bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Rativel?=
 <remi.rativel@etudiant.univ-rennes1.fr>
Date: Wed, 5 Apr 2023 14:50:58 +0200
Subject: [PATCH] Doc and Makefile update

---
 Makefile           |  1 -
 userlib/syscall.rs | 14 +++++++++-----
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 9daf3b6..4adde13 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,6 @@ dumps:
 
 user_lib:
 	$(MAKE) -C userlib/
-	mv ${TOPDIR}/userlib/sys.a ${TOPDIR}/src/sys.a
 
 tests: user_lib
 	$(MAKE) tests -C test/riscv_instructions/
diff --git a/userlib/syscall.rs b/userlib/syscall.rs
index 14ceeb7..0f1befd 100644
--- a/userlib/syscall.rs
+++ b/userlib/syscall.rs
@@ -42,14 +42,18 @@ extern "C" {
     ///Stop Nachos, and print out performance stats
     fn Shutdown() -> ();
 
-    /// Return the time spent running Nachos
+    /// Return the time spent running BurritOS
+    /// ## Param
+    /// - **t** a struct to define the time unit
     fn SysTime(t: Burritos_Time) -> ();
 
-    /// This user program is done (status = 0 means exited normally).
+    /// This user program is done
+    /// ## Param
+    /// - **status** status at the end of execution *(status = 0 means exited normally)*.
     fn Exit(status: i32) -> ();
 
-    /// Run the executable, stored in the Nachos file "name", and return the
-    ///  master thread identifier
+    /// Run the executable, stored in the BurritOS file "name", and return the
+    /// master thread identifier
     fn Exec(name: *const char) -> ThreadId;
 
     /// Create a new thread in the current process
@@ -159,7 +163,7 @@ extern "C" {
     fn CondBroadcast(id: CondId) -> t_error;
 
     ///////////////////////////////////////////////////////
-    /// System calls concerning serial port and console ///
+    /// # System calls concerning serial port and console
     ///////////////////////////////////////////////////////
 
     ///Send the message on the serial communication link.