Port of Xv6 for 25∞2
Go to file
Robert Morris 3333665ab6 not much
2019-07-20 10:17:26 -04:00
kernel not much 2019-07-20 10:17:26 -04:00
mkfs separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
user another test, to help with locking exercises 2019-07-11 05:41:59 -04:00
.cvsignore update .cvsignore 2008-10-15 04:54:24 +00:00
.dir-locals.el Setting indent-tabs-mode nil everywhere is dangerous 2011-09-05 15:22:16 -04:00
.gdbinit.tmpl-riscv separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
.gitignore Introduce alloc3_desc and UsedArea to make code easier to read 2019-07-01 08:20:35 -04:00
BUGS sh 2007-09-05 15:55:43 +00:00
cuth delete unnecessary #include lines 2007-08-27 23:26:33 +00:00
dot-bochsrc make bochsrc work for bochs 2.2.6 2008-09-03 14:10:47 +00:00
gdbutil GDB utilities 2009-11-23 17:47:57 -05:00
LICENSE x 2018-08-30 16:20:16 -04:00
Makefile x 2019-07-02 14:09:38 -04:00
Notes nit in console interrupts 2006-09-07 00:00:33 +00:00
pr.pl remove //DOC in the right place 2009-07-12 19:07:30 -07:00
printpcs Various fixes and improvements to printpcs 2012-08-24 14:51:52 -04:00
README feeble attempt at build instructions 2019-07-10 10:30:33 -04:00
runoff Checkpoint some progress compiling xv6.pdf 2019-07-01 13:02:24 -04:00
runoff.list Update runoff list for producing xv6.pdf 2019-07-08 08:50:55 -04:00
runoff.spec Nice layout for a printout of the code 2014-08-29 17:06:49 -04:00
runoff1 xv6: formatting, cleanup, rev5 (take 2) 2011-02-19 21:17:55 -05:00
show1 PDF at http://am.lcs.mit.edu/~rsc/xv6.pdf 2007-08-22 06:01:32 +00:00
sign.pl spacing fixes: no tabs, 2-space indents (for rtm) 2006-09-06 17:04:06 +00:00
sleep1.p Model verifying that wakeup really 2007-10-12 04:21:04 +00:00
spinp Model verifying that wakeup really 2007-10-12 04:21:04 +00:00
toc.ftr Update index example in TOC footer 2011-09-02 16:30:20 -04:00
toc.hdr nits 2007-08-28 18:23:48 +00:00
TRICKS use acquire/release to force order for pid=np->pid;np->state=RUNNING 2014-08-04 06:13:49 -04:00

xv6 is a re-implementation of Dennis Ritchie's and Ken Thompson's Unix
Version 6 (v6).  xv6 loosely follows the structure and style of v6,
but is implemented for a modern RISC-V multiprocessor using ANSI C.

ACKNOWLEDGMENTS

xv6 is inspired by John Lions's Commentary on UNIX 6th Edition (Peer
to Peer Communications; ISBN: 1-57398-013-7; 1st edition (June 14,
2000)). See also https://pdos.csail.mit.edu/6.828/, which
provides pointers to on-line resources for v6.

xv6 borrows code from the following sources:
    JOS (asm.h, elf.h, mmu.h, bootasm.S, ide.c, console.c, and others)
    Plan 9 (entryother.S, mp.h, mp.c, lapic.c)
    FreeBSD (ioapic.c)
    NetBSD (console.c)

The following people have made contributions: Russ Cox (context switching,
locking), Cliff Frey (MP), Xiao Yu (MP), Nickolai Zeldovich, and Austin
Clements.

We are also grateful for the bug reports and patches contributed by Silas
Boyd-Wickizer, Anton Burtsev, Cody Cutler, Mike CAT, Tej Chajed, eyalz800,
Nelson Elhage, Saar Ettinger, Alice Ferrazzi, Nathaniel Filardo, Peter
Froehlich, Yakir Goaron,Shivam Handa, Bryan Henry, Jim Huang, Alexander
Kapshuk, Anders Kaseorg, kehao95, Wolfgang Keller, Eddie Kohler, Austin
Liew, Imbar Marinescu, Yandong Mao, Matan Shabtay, Hitoshi Mitake, Carmi
Merimovich, Mark Morrissey, mtasm, Joel Nider, Greg Price, Ayan Shafqat,
Eldar Sehayek, Yongming Shen, Cam Tenny, tyfkda, Rafael Ubal, Warren
Toomey, Stephen Tu, Pablo Ventura, Xi Wang, Keiichi Watanabe, Nicolas
Wolovick, wxdao, Grant Wu, Jindong Zhang, Icenowy Zheng, and Zou Chang Wei.

The code in the files that constitute xv6 is
Copyright 2006-2019 Frans Kaashoek, Robert Morris, and Russ Cox.

ERROR REPORTS

Please send errors and suggestions to Frans Kaashoek and Robert Morris
(kaashoek,rtm@mit.edu). The main purpose of xv6 is as a teaching
operating system for MIT's 6.828, so we are more interested in
simplifications and clarifications than new features.

BUILDING AND RUNNING XV6

You will need a RISC-V "newlib" tool chain from
https://github.com/riscv/riscv-gnu-toolchain, and qemu compiled for
riscv64-softmmu. Once they are installed, and in your shell
search path, you can run "make qemu".