summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)AuthorFilesLines
2019-06-05clean up -WallRobert Morris1-32/+3
2019-06-05spinlocks using gcc intrinsicsRobert Morris1-1/+1
push_off() / pop_off() set up per-hart plic stuff so all harts get device interrupts
2019-06-05start at support for multiple CPUsRobert Morris1-2/+2
2019-06-03push/pop all registers when handling interrupt from kernelRobert Morris1-1/+3
2019-05-31exec compiles but argstr() doesn't work yetRobert Morris1-1/+3
2019-05-31-initrd fs.img, ramdisk.c, file systemRobert Morris1-5/+15
2019-05-31fork/wait/exit workRobert Morris1-60/+41
2018-09-23Checkpoint port of xv6 to x86-64. Passed usertests on 2 processors a few times.Frans Kaashoek1-57/+22
The x86-64 doesn't just add two levels to page tables to support 64 bit addresses, but is a different processor. For example, calling conventions, system calls, and segmentation are different from 32-bit x86. Segmentation is basically gone, but gs/fs in combination with MSRs can be used to hold a per-core pointer. In general, x86-64 is more straightforward than 32-bit x86. The port uses code from sv6 and the xv6 "rsc-amd64" branch. A summary of the changes is as follows: - Booting: switch to grub instead of xv6's bootloader (pass -kernel to qemu), because xv6's boot loader doesn't understand 64bit ELF files. And, we don't care anymore about booting. - Makefile: use -m64 instead of -m32 flag for gcc, delete boot loader, xv6.img, bochs, and memfs. For now dont' use -O2, since usertests with -O2 is bigger than MAXFILE! - Update gdb.tmpl to be for i386 or x86-64 - Console/printf: use stdarg.h and treat 64-bit addresses different from ints (32-bit) - Update elfhdr to be 64 bit - entry.S/entryother.S: add code to switch to 64-bit mode: build a simple page table in 32-bit mode before switching to 64-bit mode, share code for entering boot processor and APs, and tweak boot gdt. The boot gdt is the gdt that the kernel proper also uses. (In 64-bit mode, the gdt/segmentation and task state mostly disappear.) - exec.c: fix passing argv (64-bit now instead of 32-bit). - initcode.c: use syscall instead of int. - kernel.ld: load kernel very high, in top terabyte. 64 bits is a lot of address space! - proc.c: initial return is through new syscall path instead of trapret. - proc.h: update struct cpu to have some scratch space since syscall saves less state than int, update struct context to reflect x86-64 calling conventions. - swtch: simplify for x86-64 calling conventions. - syscall: add fetcharg to handle x86-64 calling convetions (6 arguments are passed through registers), and fetchaddr to read a 64-bit value from user space. - sysfile: update to handle pointers from user space (e.g., sys_exec), which are 64 bits. - trap.c: no special trap vector for sys calls, because x86-64 has a different plan for system calls. - trapasm: one plan for syscalls and one plan for traps (interrupt and exceptions). On x86-64, the kernel is responsible for switching user/kernel stacks. To do, xv6 keeps some scratch space in the cpu structure, and uses MSR GS_KERN_BASE to point to the core's cpu structure (using swapgs). - types.h: add uint64, and change pde_t to uint64 - usertests: exit() when fork fails, which helped in tracking down one of the bugs in the switch from 32-bit to 64-bit - vectors: update to make them 64 bits - vm.c: use bootgdt in kernel too, program MSRs for syscalls and core-local state (for swapgs), walk 4 levels in walkpgdir, add DEVSPACETOP, use task segment to set kernel stack for interrupts (but simpler than in 32-bit mode), add an extra argument to freevm (size of user part of address space) to avoid checking all entries till KERNBASE (there are MANY TB before the top 1TB). - x86: update trapframe to have 64-bit entries, which is what the processor pushes on syscalls and traps. simplify lgdt and lidt, using struct desctr, which needs the gcc directives packed and aligned. TODO: - use int32 instead of int? - simplify curproc(). xv6 has per-cpu state again, but this time it must have it. - avoid repetition in walkpgdir - fix validateint() in usertests.c - fix bugs (e.g., observed one a case of entering kernel with invalid gs or proc
2018-08-30thanks mtasmFrans Kaashoek1-0/+7
2018-08-30vectors.pl is executable and asks shell for perlFrans Kaashoek1-1/+2
2018-08-30thanks tyfkdaFrans Kaashoek1-2/+2
2018-08-30xFrans Kaashoek1-1/+1
2018-08-30xFrans Kaashoek1-1/+0
2017-08-09Commit to running on an SMP (perhaps with only 1 core). Remove most codeFrans Kaashoek1-1/+0
from picirq.c and remove timer.c completely. Update runoff.list.
2017-01-30Thanks to Wolfgang Keller <[email protected]>Frans Kaashoek1-1/+1
2017-01-30Add support for qemu-system-x86_64 in 64bit hostsAntonio Gutierrez1-0/+2
As x86-64 is a superset of x86, we can use qemu-system-x86_64 to run the OS image. Signed-off-by: Antonio Gutierrez <[email protected]>
2016-09-26Fixed broken build on newer gold linker with NaCl supportIcenowy Zheng1-1/+1
On platforms with NaCl support, ld.gold -V will return a "elf_i386_nacl" in addition to "elf_i386", which will make the build fail.
2016-09-11Straight replacement of B_BUSY with a sleeping lock.Frans Kaashoek1-0/+1
2016-08-18Fixed QEMU command line avoids raw image warning.Peter H. Froehlich1-1/+1
2016-08-18Again, QEMU command line to avoid image warning.Peter H. Froehlich1-1/+1
2016-08-13hold ptable.lock for the entire process creationRobert Morris1-2/+2
however, processes still modify their own p->* without locking
2015-06-30coding style (per Jeremías Feltan <[email protected]>)Frans Kaashoek1-1/+1
2014-10-03Increase VM memory when running qemu-memfsAustin Clements1-1/+1
Presumably because of the pre-loaded file system, the default RAM is insufficient when running kernelmemfs
2014-10-03Make kernelmemfs depend on kernel.ldAustin Clements1-1/+1
2014-10-03Fix kernelmemfs linkingAustin Clements1-1/+1
Commit 9aa0337d introduced a linker script for linking the kernel image, but only changed the kernel target to use it. kernelmemfs was still using the old linker command line arguments, which weren't sufficient.
2014-09-23ggdb -> gdwarf-2 for gcc4.8Frans Kaashoek1-1/+1
2014-09-08Oops (thanks David Lawrence)Frans Kaashoek1-1/+1
2014-07-31newer versions of qemu have different binary names (per Joel Nider ↵Frans Kaashoek1-2/+4
<[email protected]>)
2012-10-24Prevent extra rebuild of fs.img by keeping intermediate object files.Cam Tenny1-0/+6
2012-09-07Remove -m32 flag from native gcc compilerFrans Kaashoek1-1/+1
But check that mkfs.c is building with LP64
2011-09-05Re-alphabetize OBJSAustin Clements1-1/+1
2011-09-05Sync up clean and gitignore betterAustin Clements1-2/+3
2011-09-04kernel depends on kernel.ldAustin Clements1-2/+2
2011-09-04Add QEMUEXTRA environment to add extra QEMU arguments, like in JOSAustin Clements1-1/+1
2011-09-02A few missed xv6.pdf dependenciesAustin Clements1-1/+1
2011-09-02Nuke data.S, since we do have a custom linker script.Austin Clements1-4/+4
2011-08-15Update make cleanFrans Kaashoek1-1/+1
2011-08-15Avoid "boot" in xv6Frans Kaashoek1-1/+1
2011-08-15Separate more clearly bootloader from xv6 by renaming multiboot.S to entry.S ↵Frans Kaashoek1-10/+10
etc. Maybe the string boot shouldn't appear in xv6 code?
2011-08-11Make AP processors boot using bootpgdirFrans Kaashoek1-5/+5
Remove device mapping from bootpgdir Remove unnecessary vmenable Set CPUS back to 2 in Makefile Passes all usertests
2011-08-09Use static page table for boot, mapping first 4Mbyte; no more segment trickFrans Kaashoek1-2/+3
Allocate proper kernel page table immediately in main using boot allocator Remove pginit Simplify address space layout a tiny bit More to come (e.g., superpages to simplify static table)
2011-08-09Allow gas to use / as divide (instead of comment)Frans Kaashoek1-1/+1
Maybe not necessary, but don't want to waste time figuring this out again
2011-07-29Map kernel highFrans Kaashoek1-2/+2
Very important to give qemu memory through PHYSTOP :(
2011-07-27Dirt simple loggingFrans Kaashoek1-0/+1
Passes usertests and stressfs Seems to recover correctly in a number of simple cases
2011-06-24Add -fno-omit-frame-pointer to compile flags.Austin Clements1-1/+1
At some point between gcc 4.4 and 4.6, omitting the frame pointer became default if any -O is specified. getcallerpcs relies on the frame pointer, so bring it back.
2011-02-19xv6: formatting, cleanup, rev5 (take 2)Russ Cox1-9/+11
2011-01-11multiboot support and memory-only (no disk) kernelRuss Cox1-2/+22
2010-09-03Rev 4Austin Clements1-1/+1
2010-09-01Make it easy to change the number of CPUsAustin Clements1-1/+4
2010-08-31print depends on runoff.specAustin Clements1-1/+1
Powered by cgit, Theme cgit-dark created by Ted Yin, updated by Mole Shang.