Barbux a un kernel multithreadé, donc les interruptions timer ne s'accompagnent pas toujours d'un changement de pile. Barbux doit donc verifier si le process était système, et dans ce cas, faire le changement. Les process systèmes ont on pid inférieur à 100, on peut donc les identifier facilement.