Port of Xv6 for 25∞2
Go to file
Robert Morris 3113643768 spinlocks using gcc intrinsics
push_off() / pop_off()
set up per-hart plic stuff so all harts get device interrupts
2019-06-05 14:05:46 -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-i386 start at support for multiple CPUs 2019-06-05 11:42:03 -04:00
.gdbinit.tmpl-riscv start at support for multiple CPUs 2019-06-05 11:42:03 -04:00
.gdbinit.tmpl-x64 Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times. 2018-09-23 08:35:30 -04:00
.gitignore Sync up clean and gitignore better 2011-09-05 15:21:40 -04:00
bio.c -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
buf.h Move retry loop/sleep/wakeup in bio.c into sleeping locks 2016-09-11 20:17:22 -04:00
BUGS sh 2007-09-05 15:55:43 +00:00
cat.c Check result of write (thans to Alexander Kapshuk <alexander.kapshuk@gmail) 2016-09-19 07:01:30 -04:00
console.c fix exec argc 2019-06-04 06:45:09 -04:00
cuth delete unnecessary #include lines 2007-08-27 23:26:33 +00:00
date.h coding style (per Jeremías Feltan <jeremias.feltan@gmail.com>) 2015-06-30 16:23:56 -04:00
defs.h spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
dot-bochsrc make bochsrc work for bochs 2.2.6 2008-09-03 14:10:47 +00:00
echo.c Remove puts in favor of printf. 2007-08-24 20:03:40 +00:00
elf.h Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times. 2018-09-23 08:35:30 -04:00
entry.S start at support for multiple CPUs 2019-06-05 11:42:03 -04:00
exec.c check that arguments aren't more than a page in exec() 2019-06-04 06:51:01 -04:00
fcntl.h nit 2007-08-28 04:13:24 +00:00
file.c support read() and write() bigger than one page 2019-06-04 05:57:47 -04:00
file.h support read() and write() bigger than one page 2019-06-04 05:57:47 -04:00
forktest.c thanks tyfkda 2018-08-31 09:21:19 -04:00
fs.c timer interrupts -> supervisor software interrupt 2019-06-04 14:20:37 -04:00
fs.h support read() and write() bigger than one page 2019-06-04 05:57:47 -04:00
gdbutil GDB utilities 2009-11-23 17:47:57 -05:00
grep.c Remove trailing white space with: 2016-08-25 09:13:00 -04:00
init.c group locks into structs they protect. 2009-05-31 05:12:21 +00:00
initcode.S fork/wait/exit work 2019-05-31 09:45:59 -04:00
ioapic.c Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times. 2018-09-23 08:35:30 -04:00
kalloc.c fix a problem with end. make uartputc() wait until h/w is ready. 2019-06-04 10:43:45 -04:00
kernel.ld fix a problem with end. make uartputc() wait until h/w is ready. 2019-06-04 10:43:45 -04:00
kill.c Disentangle block size from the disk's sector size. Set block size to 1024 to show 2015-04-03 08:22:02 -04:00
LICENSE x 2018-08-30 16:20:16 -04:00
ln.c add ln 2007-08-22 05:54:55 +00:00
log.c -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
ls.c Remove trailing white space with: 2016-08-25 09:13:00 -04:00
main.c spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
Makefile spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
memlayout.h spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
mkdir.c more consistent spacing 2007-08-28 18:32:08 +00:00
mkfs.c support read() and write() bigger than one page 2019-06-04 05:57:47 -04:00
Notes nit in console interrupts 2006-09-07 00:00:33 +00:00
param.h first shell prints $ prompt, though no console input yet 2019-06-01 05:33:38 -04:00
pipe.c support read() and write() bigger than one page 2019-06-04 05:57:47 -04:00
pr.pl remove //DOC in the right place 2009-07-12 19:07:30 -07:00
printf.c Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times. 2018-09-23 08:35:30 -04:00
printpcs Various fixes and improvements to printpcs 2012-08-24 14:51:52 -04:00
proc.c spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
proc.h spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
ramdisk.c -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
README fix exec argc 2019-06-04 06:45:09 -04:00
riscv.h start at support for multiple CPUs 2019-06-05 11:42:03 -04:00
rm.c more consistent spacing 2007-08-28 18:32:08 +00:00
runoff Delete a patch 2018-08-30 15:45:16 -04:00
runoff.list don't care about bootloader 2018-10-03 07:53:37 -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
sh.c Remove trailing white space with: 2016-08-25 09:13:00 -04: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
sleeplock.c -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
sleeplock.h sleeplock files 2016-09-11 21:01:24 -04:00
spinlock.c spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
spinlock.h spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
spinp Model verifying that wakeup really 2007-10-12 04:21:04 +00:00
start.c spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
stat.h junk 2012-08-28 12:57:05 -04:00
stressfs.c Remove trailing white space with: 2016-08-25 09:13:00 -04:00
string.c fork/wait/exit work 2019-05-31 09:45:59 -04:00
swtch.S fork/wait/exit work 2019-05-31 09:45:59 -04:00
syscall.c more sbrk fixes 2019-06-04 11:31:50 -04:00
syscall.h Remove left-over from some logging plan making complete syscalls atomic 2012-08-22 20:28:58 -04:00
sysfile.c support read() and write() bigger than one page 2019-06-04 05:57:47 -04:00
sysproc.c more sbrk fixes 2019-06-04 11:31:50 -04: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
trampoline.S start at support for multiple CPUs 2019-06-05 11:42:03 -04:00
trap.c spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
TRICKS use acquire/release to force order for pid=np->pid;np->state=RUNNING 2014-08-04 06:13:49 -04:00
types.h Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times. 2018-09-23 08:35:30 -04:00
uart.c fix a problem with end. make uartputc() wait until h/w is ready. 2019-06-04 10:43:45 -04:00
ulib.c -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
umalloc.c make new code like old code 2011-01-11 13:01:13 -05:00
user.h thanks tyfkda 2018-08-31 09:21:19 -04:00
usertests.c -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
usys.pl -initrd fs.img, ramdisk.c, file system 2019-05-31 11:45:42 -04:00
vectors.pl Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times. 2018-09-23 08:35:30 -04:00
vm.c spinlocks using gcc intrinsics 2019-06-05 14:05:46 -04:00
wc.c junk 2012-08-28 12:57:05 -04:00
zombie.c Remove trailing white space with: 2016-08-25 09:13:00 -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-2018 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

To build xv6 on an x86 ELF machine (like Linux or FreeBSD), run
"make". On non-x86 or non-ELF machines (like OS X, even on x86), you
will need to install a cross-compiler gcc suite capable of producing
x86 ELF binaries (see https://pdos.csail.mit.edu/6.828/).
Then run "make TOOLPREFIX=i386-jos-elf-". Now install the QEMU PC
simulator and run "make qemu".