Final Topics

To run RTOS:

cd Augemented-FreeRTOS
./FreeRTOS-Sim

To run GPOS:

gcc benchmark_gpos.c Augmented-FreeRTOS/benchmark.c -o run
./run