issues
search
Microdragon
/
Kernel
A microkernel written in Rust
Mozilla Public License 2.0
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Rust Bootloader support and cargo xtask project
#8
Rain336
closed
8 months ago
0
Add more configuration macros for the configuration framework
#7
Rain336
closed
9 months ago
0
Start of the Configuration Framework
#6
Rain336
closed
9 months ago
0
Tracking Issue: Compile-time Configuration Framework
#5
Rain336
opened
9 months ago
1
Use magic methods for getting and settings the root page table
#4
Rain336
closed
9 months ago
0
Feature: Compile-time Configuration Framework
#3
Rain336
opened
9 months ago
2
Feature: Run the kernel through Miri
#2
Rain336
opened
9 months ago
0
Feature: DragonTest Unit Testing Framework
#1
Rain336
opened
9 months ago
1