Cookie OS

This is a lightweight operating system designed for the EFR32 platform, providing basic scheduling, memory management, and hardware abstraction for GPIO, UART, and timer peripherals.

Features

• Task scheduling and multitasking
• Basic memory management
• Inter-process communication (IPC)
• Device drivers for GPIO, UART, and timers

Getting Started

See docs/SETUP.md for setup instructions.