xv6-riscv
minixfromscratch
xv6-riscv | minixfromscratch | |
---|---|---|
17 | 15 | |
6,170 | 1,182 | |
4.7% | - | |
0.0 | 1.4 | |
11 days ago | about 1 year ago | |
C | C | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
xv6-riscv
-
The rxv64 Operating System: MIT's xv6, in Rust, for SMP x86_64 machines
okay, fair. i only got misled by the title of the post, which claims all-rust xv6 port.
now that we cleared the userland part, here’s what I’m contemplating on the kernel side. i can’t think of anything simpler and more staple than this, so:
https://github.com/dancrossnyc/rxv64/blob/main/kernel/src/ua...
https://github.com/mit-pdos/xv6-riscv/blob/riscv/kernel/uart...
honestly - i don’t feel at ease to tell which driver code is more instructional, which is easier to read, which is better documented, which is better covered with tests, which has more unsafety built into it (explicit or otherwise), what size are the object files, and what is easier to cross-compile and run on the designated target from, say, one of now-ubiquitous apple silicon devices.
lest we forget that the whole point of it is “pedagogical”, i.e. to learn something about how a modern OS can be organized, and how computer generally works.
and i’m just not sure.
-
Xv6: A modern, x86 reimplementation of 6th Edition Unix
The x86 version of xv6 is no longer updated, the last updates took place about 7 years ago. Current xv6 supports RISC V in qemu, there are also ports to real RISC V devices (Kendryte/Canaan K210, Allwinner D1, StarFive JH7110, some hacked by me) and FPGA implementations ().
https://github.com/mit-pdos/xv6-riscv/ (qemu)
-
seeking another faculty member re: xv6
I am no help with recruitment, but simple search revealed "https://github.com/mit-pdos/xv6-riscv", were you aware of this?
-
MINIX is an awesome way to learn a wide range of CS concepts
Different repo under same org https://github.com/mit-pdos/xv6-riscv
-
Ask HN: Examples of Microkernels?
I'm reading through the MIT xv6 OS handbook and code (here: https://github.com/mit-pdos/xv6-riscv/) and they mention the fact that they created it as a monolithic kernel since most unix systems are monolithic. They then introduce the microkernel concept. Are there microkernel concepts out there (especially code) I can check out? I'm curious to see how userspace processes communicate to kernel processes to execute privileged actions.
- Risc V Assembly and Qemu
-
How does multiprocessing on a multivitamin cpu work?
Yeah its from here: https://github.com/mit-pdos/xv6-riscv x86 version here: https://github.com/mit-pdos/xv6-public
- Xv6 for RISC-V
-
How do I become an Operating Systems developer?
I would start with working through an OS textbook. Tanenbaum is highly regarded although I worked through OStep and I felt it was very approachable. Also check out wiki.osdev.org. Also, here's a re-inplementation of Unix version 6. I've been meaning to play around with it for a while.
-
Can't get xv6 to run on arch linux
NOTE: we have stopped maintaining the x86 version of xv6, and switched our efforts to the RISC-V version (https://github.com/mit-pdos/xv6-riscv.git)
minixfromscratch
-
Ask HN: High-quality resources for writing complex systems software?
Open BSD software source.
UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads 2nd Edition by K Robbins and S. Robbins
minix from scrath [0]; linux from scratch[1];
[1] : https://www.linuxfromscratch.org/
[0] : https://github.com/o-oconnell/minixfromscratch
- MINIX from Scratch
-
Minix from Scratch
I think that they answer that here^1 But the short answer is the author seems to believe so.
1. https://github.com/o-oconnell/minixfromscratch#why-minix
- Linus Torvalds built Linux on a tiny OS called MINIX; it's still a great learning tool today
- MINIX From Scratch: Making it easy to run and compile MINIX
- MINIX is an awesome way to learn a wide range of CS concepts
- Studying MINIX yields a lot of C coding tricks
- Before LinuxMasterRace there was ... MINIX Master Race
What are some alternatives?
xv6-public - xv6 OS
xv6-riscv-rust
riscv-gnu-toolchain - GNU toolchain for RISC-V, including GCC
aurora - Aurora Single Level Store
uom - Units of measurement -- type-safe zero-cost dimensional analysis
rrs - Rust RISC-V Simulator
xv6-rust - 🦀️ Re-implement xv6-riscv in Rust
lambda-calculus - A lambda calculus interpreter that works on desktop and wasm
website - The Haiku website. (Pull requests are accepted; please file issues at https://dev.haiku-os.org).
rxv64 - xv6 OS
ZealOS - The Zeal Operating System is a modernized fork of the 64-bit Temple Operating System, TempleOS.