summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)AuthorFilesLines
2024-02-13Merge branch 'cow' into netMole Shang1-15/+19
Conflicts: .gitignore Makefile conf/lab.mk kernel/defs.h kernel/syscall.c kernel/vm.c user/pingpong.c user/user.h user/usys.pl
2024-02-11lab cow: finishcowMole Shang1-0/+1
2024-02-11lab traps: finishtrapsMole Shang1-1/+2
2024-02-10Merge branch 'pgtbl' into trapsMole Shang1-3/+13
Conflicts: .gitignore Makefile conf/lab.mk
2024-02-05lab syscall: finishMole Shang1-0/+3
Conflicts: kernel/syscall.c kernel/syscall.h user/user.h user/usys.pl
2024-02-05lab util: finishMole Shang1-0/+5
2023-10-25release lab netSanjit Bhat1-16/+211
2023-10-02ignore & clean dSYM filesSanjit Bhat1-6/+4
2023-09-21clean all zip files, even old onesSanjit Bhat1-1/+1
2023-09-21clean all zip files, even old onesSanjit Bhat1-1/+1
2023-09-19update grading and zipball ruleSanjit Bhat1-2/+3
2023-09-19update grading and zipball ruleSanjit Bhat1-2/+3
2023-09-13release trapsSanjit Bhat1-11/+207
2023-09-12Makefile: new submission systemSanjit Bhat1-46/+5
2023-09-083rd labRobert Morris1-11/+248
2022-08-23Use simple linker script to force data segment to be page alignedFrans Kaashoek1-1/+1
2022-08-15Compile user binary to map text without W and data without XFrans Kaashoek1-1/+1
Use the flags in elf header to set vm permissions Modify pgbug() so that usertests text segment is without W Add test to check app cannot write text segment
2022-08-10avoid user-level segfault if a process doesn't call exit()Robert Morris1-1/+1
2022-08-09enable reading memory using gdbRahul Thomas1-1/+1
2021-10-17port virtio_disk to virtio spec 1.0+Xi Wang1-0/+1
The legacy interface is confusing. It's better to make virtio_disk conform to the virtio spec. This is supported in QEMU since 4.2 by disabling force-legacy for virtio-mmio.
2020-08-21Delete some obselete stuffFrans Kaashoek1-43/+0
2020-08-10Generate initcode without compressed extensionsFrans Kaashoek1-1/+1
2020-08-10drop QEMUEXTRARobert Morris1-2/+2
2020-08-10yet another toolchain namertm1-0/+2
2019-11-07more grindRobert Morris1-1/+1
2019-11-06grind: run parallel system calls foreverRobert Morris1-0/+1
2019-10-27nitsRobert Morris1-1/+1
2019-09-30Make QEMU memory size match PHYSTOPAnish Athalye1-1/+1
2019-09-20nitsRobert Morris1-1/+1
2019-09-13add `-bios none' to silence qemuXi Wang1-1/+3
QEMU 4.1+ emits warnings if -bios is not given, as newer versions will load the OpenSBI firmware in this case. Pass `-bios none' to avoid this issue.
2019-08-26cow moved to xv6-riscv-fall19Frans Kaashoek1-1/+0
2019-07-27split printf into a separate file, to make console.c more like a driverRobert Morris1-0/+1
2019-07-23a few core -> CPURobert Morris1-11/+1
get rid of PDF generating support
2019-07-22-MD and TRAPFRAMERobert Morris1-2/+2
2019-07-01have fork() fail, not panic, if not enough phys memRobert Morris1-0/+1
2019-06-13eliminate ramdiskRobert Morris1-2/+0
2019-06-13virtio disk driverRobert Morris1-1/+3
2019-06-11separate source into kernel/ user/ mkfs/Robert Morris1-74/+76
2019-06-06gdb backtraces: -ggdb, -fno-omit-frame-pointer, BSIZE=1024Robert Morris1-2/+2
2019-06-06add kernelvecRobert Morris1-1/+1
2019-06-05make -O work with asm volatile(...)Robert Morris1-1/+1
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
Powered by cgit, Theme cgit-dark created by Ted Yin, updated by Mole Shang.