Change Note 2025-07-27

Kernel-v3

• Kernel-v3 is an asynchronous, event-driven and pre-emptive scheduler for task-based actors.
• See Description.
• Example program K3base for RP2350 (Pico2 and Pico2-Ice).

Module Library (lib/v2.1)

Kernel-v3 Modules

• Kernel.mod
• Actor.mod
• ActorQueue.mod
• MessageQueue.mod
• ReadyQueue.mod
• MessagePool.mod
• Types.mod

Module Alarm

• Add utility procedures GetTime.

Config Files

• Add kernel-v3 configs for Pico2 and Pico2-Ice.

Example Program

• K3base: basic test program for kernel-v3.