xv6-riscv | dyld | |
---|---|---|
17 | 32 | |
6,199 | 534 | |
4.7% | 2.1% | |
0.0 | 4.0 | |
15 days ago | about 1 month 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)
dyld
- An M1 for Curl
-
Maybe all the big companies should stop using Linux as it's open source so it's a "serious security concern"
None of what? In case I understood you by chance, there's a whole darwin stack on github, grouped neatly at https://opensource.apple.com/releases/. There is a lot of argument about what's open source and what's not, I consider permissive licenses as open source. I did never claim that any Apple software is open source, but due to OS's modular nature I'm willing to say that macOS and iOS consequently is largely open source
- Tales of the M1 GPU
- Is the kernel code quality getting any better?
- What does closed-source with open-source components mean?
-
Why do many Linux fans have a greater distaste for Microsoft over Apple?
A lot of Apple software including the operating systems is open source, though in practice many of the key components that you might need to solve a problem or understand a bug are missing from these repositories.
- Ask HN: Examples of Microkernels?
- We all have a piece of Apple software on every distro
- Weston/Wayland now works on M1 GPU
- Apple fixes eighth zero-day used to hack iPhones and Macs this year
What are some alternatives?
xv6-public - xv6 OS
xnu
riscv-gnu-toolchain - GNU toolchain for RISC-V, including GCC
darwin-xnu - Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
uom - Units of measurement -- type-safe zero-cost dimensional analysis
lk - LK embedded kernel
rrs - Rust RISC-V Simulator
proton-calendar - Proton Calendar built with React.
minixfromscratch - Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
NT5.1 - Windows NT 5.0 kernel source code.
lambda-calculus - A lambda calculus interpreter that works on desktop and wasm
ios-mail - Secure email that protects your privacy