xv6-riscv | lk | |
---|---|---|
17 | 9 | |
6,199 | 3,072 | |
5.2% | 1.0% | |
0.0 | 8.6 | |
16 days ago | 9 days ago | |
C | C | |
GNU General Public License v3.0 or later | MIT License |
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)
lk
-
Ask HN: Examples of Microkernels?
This is based on little kernel from recollection (noted somewhere in the docs)
https://github.com/littlekernel/lk
- The Little Kernel Embedded Operating System
- LK Embedded Kernel
- PSA: Nu-ti trebuie telefon nou
-
Are there any jobs out there in C++ programming for someone who is primarily a hardware engineer? HFT or any other industry?
I've worked in LK (Little Kernel), which is the basis of the Android and WebOS boot loaders, but is also a reasonable stand-alone operating system, ThreadX, which is a very lightweight RTOS, and one or two others. These were all written in C, but it was also quite a few years ago, so I suspect a good chunk of the industry has moved to C++.
-
Is “make” or “makefile” like a OS?
You might also want to look into LK ("little kernel"). It's the basis for both the Android and WebOS bootloaders, which I've also worked on. It has multi-threading and I/O but doesn't support user processes. Might be good for embedded systems.
- Samsung is now a contributor to Google’s Fuchsia OS
-
Now you can run Unix on the tiny $4 Raspberry Pi Pico
what about LK ?
- How does Redox compare to Fuchsia / Zircon?
What are some alternatives?
xv6-public - xv6 OS
FUZIX - FuzixOS: Because Small Is Beautiful
riscv-gnu-toolchain - GNU toolchain for RISC-V, including GCC
linux - Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
uom - Units of measurement -- type-safe zero-cost dimensional analysis
lk - LK embedded kernel
rrs - Rust RISC-V Simulator
qubes-mirage-firewall - A Mirage firewall VM for QubesOS
minixfromscratch - Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU
opengapps - The main repository of the Open GApps Project
lambda-calculus - A lambda calculus interpreter that works on desktop and wasm
unikraft - FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.