A secure embedded operating system for microcontrollers

5 Open Issues Need Help Last updated: Sep 8, 2025

Open Issues Need Help

View All on GitHub
Implement UART for LPC55 about 2 months ago
good first issue

A secure embedded operating system for microcontrollers

Rust
good first issue

A secure embedded operating system for microcontrollers

Rust

AI Summary: Implement a VGA text console for the x86 port of the TockOS embedded operating system, replacing the serial port console. This involves creating a VGA peripheral driver, modifying the QEMU startup command, implementing the UART trait for VGA, redirecting the kernel debugger, and updating the README.

Complexity: 4/5
good first issue

A secure embedded operating system for microcontrollers

Rust

AI Summary: Debug and fix a backspace functionality issue within the ProcessConsole component of the TockOS embedded operating system, utilizing the x86 port for testing and development.

Complexity: 4/5
good first issue

A secure embedded operating system for microcontrollers

Rust

AI Summary: Implement GPIO functionality for the LPC55 microcontroller board within the TockOS embedded operating system. This involves implementing the necessary TockOS traits for GPIO pins (Pin, Configure, InterruptPin) and integrating the GPIO driver into the board's main code.

Complexity: 4/5
good first issue

A secure embedded operating system for microcontrollers

Rust