-
dos-1.1-rt@2399- Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit.
-
dos-1.1-rt@2409 Resolving exercise about real-time scheduling: both RM and EDF were wrong on the previous commit.
-
dos-1.1 Removing empty tests
-
dos-1.1-sync Removing empty tests and fixing Thread attribute initialization
-
dos-1.1-join Removing empty tests and fixing Thread attribute initialization
-
dos-1.1-idle Removing empty tests and fixing Thread attribute initialization
-
dos-1.1-alarm Removing empty tests and fixing Thread attribute initialization
-
dos-1.1-del Removing empty tests and fixing Thread attribute initialization
-
dos-1.1-heap Removing empty tests and fixing Thread attribute initialization
-
dos-1.1-builtin Updating traits to honor the multitasking flag
-
dos-1.1-smp@2427 First attempt to solve the multicore exercise, still quite unstable
-
epos.verified-osr2013@3121 Scheduler verification using CBMC.
-
dos-1.1-rt Fixing aperiodic thread handling by EDF
-
dos-1.1-rtsmp@2496 Temporarily handling the TSC conflict on parallel systems with the Alarm
-
dos-1.1-rtsmp Base for real-time multicore scheduling projects
-
dos-1.1-sched Kmalloc is now new (SYSTEM)
-
dos-1.1-smp BUG FIX: there was a big mess with APIC and VGA mapping for pagging. They are now packed along with PCI on a single I/O block.
-
teaching Renaming brenchs for easiness
-
teaching-base Renaming tag to avoid confusion with branch
-
teaching-05-06_aux_files@2644 Renaming tag to avoid confusion with branch