Documentation

This commit is contained in:
Rémi Rativel 2023-04-05 14:52:46 +02:00
parent 81302b67a1
commit cb25b09cff

View File

@ -39,7 +39,7 @@ pub struct CondId{
extern "C" {
///Stop Nachos, and print out performance stats
///Stop BurritOS, and print out performance stats
fn Shutdown() -> ();
/// Return the time spent running BurritOS