[Barrelfish-users] Is Barrelfish tickless?

[Hakan Akkan]

Hi,

Just wondering if the Barrelfish kernel is tickless or not. Was this a
design criteria? By tickless I mean if the kernel receives and
services periodic timer interrupts on the CPUs where an application is
supposed to run.

Thanks

hakan