theseus-os/irq_safety theseus-os/irq_safety

  • Stars
    star
    7
  • Rank 2,294,508 (Top 46 %)
  • Language
    Rust
  • Created almost 7 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
theseus-os/irq_safety
github

theseus-os

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

More Repositories

1

Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
Rust
2,901
star
2

DFQueue

A decoupled, fault-tolerant queue written in Rust.
Rust
8
star
3

new_blog

1
star
4

uefi-bootloader

Rust
1
star
5

theseus-os.github.io

The blog website for Theseus OS info and development updates.
Rust
1
star