staycool1374-Ger/nexios - 4 Help Wanted Issues

Open Issues Need Help

Idle-task safety monitors: RAM March C-, CPU ALU verification, utilisation tracking 3 days ago

help wanted good first issue feature sil3-relevant kernel:arch userspace

NexIOS — hard real-time microkernel (freestanding C++20): capability-based security, deterministic scheduling, SIL-3-driven development

C++

#ai-coding#arm64#capability-based-security#cpp20#experimental#microkernel#mmu#operating-system#real-time#risc-v#rtos#scheduler#slab-allocator#test-driven-development#wcet#x86-64

ELF & Kernel-Image Authenticity Verification 3 days ago

help wanted userspace

staycool1374-Ger/nexios

NexIOS — hard real-time microkernel (freestanding C++20): capability-based security, deterministic scheduling, SIL-3-driven development

C++

#ai-coding#arm64#capability-based-security#cpp20#experimental#microkernel#mmu#operating-system#real-time#risc-v#rtos#scheduler#slab-allocator#test-driven-development#wcet#x86-64

aarch64 production boot path 3 days ago

help wanted feature kernel:arch kernel:init arch:arm64

staycool1374-Ger/nexios

NexIOS — hard real-time microkernel (freestanding C++20): capability-based security, deterministic scheduling, SIL-3-driven development

C++

#ai-coding#arm64#capability-based-security#cpp20#experimental#microkernel#mmu#operating-system#real-time#risc-v#rtos#scheduler#slab-allocator#test-driven-development#wcet#x86-64

[Raspberry Pi 4 (BCM2711) Bare-Metal Bring-Up] **1. aarch64 build-break cleanup (QEMU virt target must compile green)** — 3 days ago

help wanted arch:arm64

staycool1374-Ger/nexios

NexIOS — hard real-time microkernel (freestanding C++20): capability-based security, deterministic scheduling, SIL-3-driven development

C++

#ai-coding#arm64#capability-based-security#cpp20#experimental#microkernel#mmu#operating-system#real-time#risc-v#rtos#scheduler#slab-allocator#test-driven-development#wcet#x86-64