Global scheduling rate: 1
Global period : 30
Global lifetime: 30000
Global scheduling algorithm: EDF

Critical level: 1
Budget: 4
Max BE accesses: 1
Task scheduling algorithm: EDF
t1 = (1, 4, 4) ./compile_lisp()

Critical level: 2
Budget: 14
Max BE accesses: 1
Task scheduling algorithm: EDF
t2 = (2, 4, 4) ./forever()