Issues

• Getting started on Windows (WSL 2)

  documentationgood first issuehelp wanted
  EmbLinkOs/EmbLinkRTOS#116 · Filter by author teo1747 opened on Nov 8, 2026

• Trace existing mutex and semaphore tests to KRN-SYNC-012, -013, -023, -025, -026, -028

  good first issue
  EmbLinkOs/EmbLinkRTOS#115 · Filter by author teo1747 opened on Nov 8, 2026

• User guide: software timers and work queues

  documentationgood first issue
  EmbLinkOs/EmbLinkRTOS#114 · Filter by author teo1747 opened on Nov 8, 2026

• User guide: message queues and notifications

  documentationgood first issue
  EmbLinkOs/EmbLinkRTOS#113 · Filter by author teo1747 opened on Nov 8, 2026

• Hardware run: the conformance suites on a NUCLEO-F446ZE

  good first issuehelp wanted
  EmbLinkOs/EmbLinkRTOS#112 · Filter by author teo1747 opened on Nov 8, 2026

• Add the Raspberry Pi Pico 2 board (RP2350A, LED on GPIO25)

  enhancementgood first issuehelp wanted
  EmbLinkOs/EmbLinkRTOS#111 · Filter by author teo1747 opened on Nov 8, 2026