1. 0bcdae2 kernel: Add CONFIG_ARCH_HAS_DIRECTED_IPIS by Peter Mitsis · 10 months ago
  2. d8a4c8a kernel: Add CONFIG_IPI_OPTIMIZE by Peter Mitsis · 10 months ago
  3. 0b473ce kernel: rename sliceable -> thread_is_sliceable by Anas Nashif · 12 months ago
  4. 37df485 kernel: split timeslicing/ipi code out of sched.c by Anas Nashif · 12 months ago