Nachos with MLFQ implementation