Pinned issues
Issues
- 0
- 0
Rust MIR as an alternative to WASM
#972 opened by rishflab - 1
Remove hardware-interface
#437 opened by tomaka - 1
Add an ATA/ATAPI/AHCI driver
#683 opened by tomaka - 1
Consider having next_notification also return the size of the next notification
#403 opened by tomaka - 1
Post-threads messages passing rework brainstorming
#863 opened by tomaka - 0
Possible deadlock in processes.rs
#844 opened by tomaka - 0
Timer stops working after resolution change
#846 opened by tomaka - 0
Race condition in external messages system
#814 opened by tomaka - 3
Bootnode's IP address keeps changing
#482 opened by tomaka - 1
- 2
Use QEmu to test kernel in CI
#585 opened by tomaka - 0
Include metadata in programs that indicates which interfaces they handle or use
#831 opened by tomaka - 0
Race condition in ipc.rs
#829 opened by tomaka - 0
x86_64: interrupts aren't processed when CPU is busy
#815 opened by tomaka - 0
Race condition in ipc.rs when RunOneOutcome::ThreadWaitNotification is generated
#410 opened by tomaka - 0
Restructure System::Core to represent Interfaces as lock-free async bounded multi producer multi consumer channel.
#452 opened by jsosthoff - 1
- 0
set_current_mode seems to panic on at least QEmu
#769 opened by tomaka - 0
Make x86_64 kernel output logs on the serial port
#682 opened by tomaka - 2
Wasi also supports _initialize entry points
#420 opened by tomaka - 0
Add support for OSMesa in modules/compositor
#701 opened by tomaka - 0
Rewrite the ARM entry points to be pure assembly
#699 opened by tomaka - 0
Turn standalone kernel into a library
#689 opened by tomaka - 0
Add a disks-interface
#429 opened by tomaka - 1
Replace the p2p-loader with IPFS
#638 opened by tomaka - 0
Prefix all Prometheus metrics with `redshirt_`
#643 opened by tomaka - 1
- 1
Rename "extrinsic" to "external"
#644 opened by tomaka - 0
- 0
- 2
Use MONITOR/MWAIT when available rather than HLT
#518 opened by tomaka - 2
- 0
Change system-time to use TAI rather than UTC
#539 opened by tomaka - 0
Make the http server report the kernel-debug metrics
#525 opened by tomaka - 2
Time goes slowly on VirtualBox
#531 opened by tomaka - 0
Implement MTRRs initialization
#535 opened by tomaka - 2
"associated processor is unresponsive" on real machine
#459 opened by tomaka - 2
Change the memory allocator of the standalone kernel
#511 opened by tomaka - 1
Occasional panic in futures_channel.rs
#483 opened by tomaka - 2
error: proc-macro derive panicked and cannot find macro `proc_macro_call` in this scope
#402 opened by ltfschoen - 1
How to handle when a device driver panics?
#475 opened by tomaka - 0
Standalone HTTP server doesn't seem to accept multiple simultaneous connections
#473 opened by tomaka - 1
- 1
Implemented PS/2 for the mouse and keyboard
#445 opened by tomaka - 0
- 1
- 5
Experiment with imgui-rs for the UI
#438 opened by tomaka - 0
Add a files-interface
#430 opened by tomaka - 1
A filesystem is needed for wasi support
#418 opened by tomaka