Merge requests · redox-os

Add "Community Announcements" post

website!329 · created Jul 13, 2023 by Ribbon
- Merged
- 11
updated Jul 15, 2023
Some improvements

website!331 · created Jul 13, 2023 by Ribbon
- Merged
- 2
updated Jul 15, 2023
Add Redox variants to the FAQ

website!332 · created Jul 15, 2023 by Ribbon
- Merged
updated Jul 15, 2023
Add "Documentation Improvements" post

website!330 · created Jul 13, 2023 by Ribbon
- Merged
updated Jul 15, 2023
Add stability warning

website!328 · created Jul 12, 2023 by Ribbon
- Merged
updated Jul 15, 2023
Set space in copy_and_capture_tail.

kernel!235 · created Jul 14, 2023 by Jacob Lorentzon
- Merged
updated Jul 14, 2023
Forwarding Scheme process-local file descriptors

rfcs!17 · created Jun 18, 2021 by Jacob Lorentzon
- Merged
updated Jul 13, 2023
Add tracking issues index on CONTRIBUTING

redox!1352 · created Jul 08, 2023 by Ribbon
- Merged
updated Jul 11, 2023
Add summary on important pages, some cleanup and fix formatting

book!264 · created Jul 09, 2023 by Ribbon
- Merged
updated Jul 11, 2023
Update Russian translation

website!327 · created Jul 11, 2023 by the ssd
- Merged
updated Jul 11, 2023
Fix debug: scheme.

kernel!233 · created Jul 10, 2023 by Jacob Lorentzon
- Merged
updated Jul 10, 2023
Simplify x86_64 percpu and GSBASE calculation

kernel!222 · created Jun 15, 2023 by Jacob Lorentzon
- Merged
updated Jul 10, 2023
Avoid static mut thread locals

kernel!228 · created Jul 04, 2023 by bjorn3
- Merged
updated Jul 10, 2023
aarch64: align sp in _start

relibc!412 · created Jul 07, 2023 by Ivan Tan
- Merged
updated Jul 10, 2023
Update acpid TODO

drivers!98 · created Jul 08, 2023 by Ribbon
- Merged
- 2
updated Jul 08, 2023
Document new drivers and explain what is missing on incomplete drivers

drivers!97 · created Jul 08, 2023 by Ribbon
- Merged
updated Jul 08, 2023
Document Redox crates

book!262 · created Jul 06, 2023 by Ribbon
- Merged
- 1
updated Jul 07, 2023
configs: misc changes for GPU drivers

redox!1351 · created Jul 07, 2023 by Anhad Singh
- Merged
updated Jul 07, 2023
config: misc changes for GPU drivers

installer!23 · created Jul 07, 2023 by Anhad Singh
- Merged
updated Jul 07, 2023
drivers: add `virtio-gpu`!

drivers!96 · created Jul 05, 2023 by Anhad Singh
- Merged
updated Jul 07, 2023