-
teaching-2-join Another merger with recent developments
-
teaching-11-rtsmp Another merger with recent developments
-
teaching-10-smp Another merger with recent developments
-
teaching-1-sync Another merger with recent developments
-
teaching-0-base Another merger with recent developments
-
teaching-4-del Teaching version of EPOS after solving the alarm exercise
-
teaching-8-builtin Renaming tags to define ordering
-
teaching-5-alarm Renaming tags to define ordering
-
teaching-41-arp@2644 Renaming tag to avoid confusion with branch
-
teaching-21-proxy_agent@2644 Renaming tag to avoid confusion with branch
-
teaching-20141-final@2644 Renaming tag to avoid confusion with branch
-
teaching-05-06_aux_files@2644 Renaming tag to avoid confusion with branch
-
teaching-base Renaming tag to avoid confusion with branch
-
teaching Renaming brenchs for easiness
-
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.
-
dos-1.1-sched Kmalloc is now new (SYSTEM)
-
dos-1.1-rtsmp Base for real-time multicore scheduling projects
-
dos-1.1-rtsmp@2496 Temporarily handling the TSC conflict on parallel systems with the Alarm
-
dos-1.1-rt Fixing aperiodic thread handling by EDF
-
epos.verified-osr2013@3121 Scheduler verification using CBMC.