tomaka / redshirt

🧑‍🔬 Operating system

tomaka/redshirt Issues

network not found and machine dies when when built and attempting start
Updated 2 years ago
Rust MIR as an alternative to WASM
Closed 3 years ago
Remove hardware-interface
Updated 3 years ago1
Add an ATA/ATAPI/AHCI driver
Updated 3 years ago1
Consider having next_notification also return the size of the next notification
Updated 4 years ago1
Post-threads messages passing rework brainstorming
Updated 4 years ago1
Possible deadlock in processes.rs
Closed 4 years ago
Timer stops working after resolution change
Updated 4 years ago
Race condition in external messages system
Closed 4 years ago
Bootnode's IP address keeps changing
Updated 4 years ago3
Improve the p2p-loader git notifier to properly fetch the default branch
Updated 4 years ago1
Use QEmu to test kernel in CI
Closed 4 years ago2
Include metadata in programs that indicates which interfaces they handle or use
Updated 4 years ago
Race condition in ipc.rs
Updated 4 years ago
x86_64: interrupts aren't processed when CPU is busy
Updated 4 years ago
Race condition in ipc.rs when RunOneOutcome::ThreadWaitNotification is generated
Closed 4 years ago
Restructure System::Core to represent Interfaces as lock-free async bounded multi producer multi consumer channel.
Closed 4 years ago
Change hosted-framebuffer to instead register a video output
Closed 4 years ago1
set_current_mode seems to panic on at least QEmu
Closed 4 years ago
Make x86_64 kernel output logs on the serial port
Closed 4 years ago
Wasi also supports _initialize entry points
Updated 4 years ago2
Add support for OSMesa in modules/compositor
Updated 4 years ago
Rewrite the ARM entry points to be pure assembly
Updated 4 years ago
Turn standalone kernel into a library
Closed 4 years ago
Add a disks-interface
Closed 4 years ago
Replace the p2p-loader with IPFS
Updated 4 years ago1
Prefix all Prometheus metrics with `redshirt_`
Closed 4 years ago
Provide a way to pull interface messages belonging to a specific interface
Closed 4 years ago1
Rename "extrinsic" to "external"
Closed 4 years ago1
Restore hosted-time crate and rework API of native programs
Updated 4 years ago
Implement the system-time interface on the standalone kernel
Updated 4 years ago
Use MONITOR/MWAIT when available rather than HLT
Updated 4 years ago2
Timers in freestanding environment still don't seem to work
Closed 4 years ago2
Change system-time to use TAI rather than UTC
Updated 4 years ago
Make the http server report the kernel-debug metrics
Closed 4 years ago
Time goes slowly on VirtualBox
Updated 4 years ago2
Implement MTRRs initialization
Updated 4 years ago
"associated processor is unresponsive" on real machine
Closed 4 years ago2
Change the memory allocator of the standalone kernel
Updated 4 years ago2
Occasional panic in futures_channel.rs
Closed 4 years ago1
error: proc-macro derive panicked and cannot find macro `proc_macro_call` in this scope
Closed 4 years ago2
How to handle when a device driver panics?
Updated 4 years ago1
Standalone HTTP server doesn't seem to accept multiple simultaneous connections
Updated 4 years ago
Fix wakers not waking up on the standalone native programs
Closed 4 years ago1
Implemented PS/2 for the mouse and keyboard
Updated 4 years ago1
Futures in redshirt-syscalls can't be used with now_or_never()
Closed 4 years ago
Rework pci-interface so that one can take ownership of devices
Closed 4 years ago1
Experiment with imgui-rs for the UI
Updated 4 years ago5
Add a files-interface
Updated 4 years ago
A filesystem is needed for wasi support
Updated 4 years ago1