François Autin 81f3ac2099 Merge branch 'thread_scheduler' of gitlab.istic.univ-rennes1.fr:simpleos/burritos into thread_scheduler		2023-03-14 14:50:02 +01:00
..
kernel	Removed lifetime tag from Semaphore implementation	2023-03-14 14:49:45 +01:00
simulator	Fully documented mem_cmp.rs	2023-03-14 14:49:58 +01:00
utility	Force the compiler and clippy to return a warning when a function isn't documented	2023-03-13 14:51:32 +01:00
main.rs	Fix scheduler switch_to by making a lot of change(use smart pointers in place of lifetime reference)	2023-03-13 21:47:06 +01:00