Commit graph

  • 8b2d60cd4e rump kernels main Philippe Pittoli 2025-03-03 01:23:56 +01:00
  • 6143015a54 Add CRUNCH. Philippe Pittoli 2025-02-26 06:16:25 +01:00
  • b353de1da4 update next-move.md Karchnu 2025-02-25 21:56:59 +01:00
  • b348199b73 A few more ideas. Philippe Pittoli 2025-02-23 08:49:48 +01:00
  • a1739fe4f5 Make my ideas great again. Karchnu 2025-02-23 01:13:51 +01:00
  • cf2a007005 A few suggestions about a new OS. Philippe Pittoli 2025-02-22 08:46:08 +01:00
  • 7b0667d7cf RISC-V equivalent of the x86 CPUID. Philippe Pittoli 2025-02-21 08:37:41 +01:00
  • 2ba33d1f92 Quelques correspondances RISC-V et x86. Philippe Pittoli 2025-02-21 06:32:34 +01:00
  • 22ac94674b Makefile: generate a Device tree file (DTB). Philippe Pittoli 2025-02-18 06:21:12 +01:00
  • 8d1dca5eec Chapter3++ Philippe Pittoli 2025-02-18 06:20:51 +01:00
  • cea63459a8 Device tree specifications. Philippe Pittoli 2025-02-16 02:01:19 +01:00
  • ddb1b65d61 Minor comments. Philippe Pittoli 2025-02-14 08:05:35 +01:00
  • 4fdf4028a4 Update on chapter 3 notes. Philippe Pittoli 2025-02-14 08:05:01 +01:00
  • c8b60efd77 Update on chapter 3 notes. Philippe Pittoli 2025-02-13 08:15:47 +01:00
  • f8f86c4cb9 Update on chapter 3 notes. Philippe Pittoli 2025-02-12 07:48:13 +01:00
  • 43805de801 Update on chapter 3 notes. Philippe Pittoli 2025-02-12 05:32:58 +01:00
  • dcdb1b8ff7 notes on chapter3 (WIP) Philippe Pittoli 2025-02-11 05:43:35 +01:00
  • ca88006b5b Exercise 2.9.1 Philippe Pittoli 2025-02-10 06:01:08 +01:00
  • a3dc50bff7 Add a note to install what is necessary to run xv6. Philippe Pittoli 2025-02-10 02:10:41 +01:00
  • 0f46dc4652 Notes: starting xv6. Philippe Pittoli 2025-02-09 07:02:32 +01:00
  • d2beeaa0c9 Partial chapter 2 summary. Philippe Pittoli 2025-02-08 21:02:08 +01:00
  • fed8339de9 Chapter 1, exercise 1, ping pong. Philippe Pittoli 2025-02-08 18:35:56 +01:00
  • 43085c9e38 Add XV6 RISC-V book. Philippe Pittoli 2025-02-08 15:03:42 +01:00
  • 82ed141f99 Add RISC-V ISA documents. Philippe Pittoli 2025-02-08 13:39:57 +01:00
  • de247db5e6 menvcfg also Robert Morris 2024-09-04 17:29:58 -04:00
  • 4060b671d8 change stimecmp to 0x14d Robert Morris 2024-09-04 15:21:52 -04:00
  • 9b9ab5e130 Remove redundant copyright, now there is a license file Frans Kaashoek 2024-08-31 14:27:22 -04:00
  • dab0032eb5 x Frans Kaashoek 2024-08-21 12:46:05 -04:00
  • f8bd2f9739 synchronize usertests and exec with util lab Robert Morris 2024-08-10 05:08:04 -04:00
  • c28e177f8d Use BPB Frans Kaashoek 2024-08-04 14:33:44 -04:00
  • 44f1ffbe38 assert that length of filename <= DIRSIZ Frans Kaashoek 2024-07-31 08:37:23 -04:00
  • 1957d3e185 x Frans Kaashoek 2024-07-31 08:20:08 -04:00
  • 03c36a69a1 Update acks Frans Kaashoek 2024-07-31 08:19:24 -04:00
  • e5d80dfee5 x Frans Kaashoek 2024-07-26 20:10:08 -04:00
  • 47cdb5f096 wfi to save CPU time on Athena Frans Kaashoek 2020-09-02 17:17:15 -04:00
  • 4d4d066d9f Thanks Taojie Frans Kaashoek 2024-07-26 19:53:53 -04:00
  • c0d9f31eec Thanks Lucas Wolf Frans Kaashoek 2024-07-26 19:47:40 -04:00
  • 6cc3d4f7de Thanks phosphagos@github Frans Kaashoek 2024-07-26 19:43:03 -04:00
  • a60bf178c6 Thanks segfault@github Frans Kaashoek 2024-07-26 19:40:01 -04:00
  • 271427920b Thanks Marcelo Arroyo Frans Kaashoek 2024-07-26 19:33:19 -04:00
  • 969f03dd8e Thanks snoire@github Frans Kaashoek 2024-07-26 19:22:29 -04:00
  • e0c3ad4d47 Fix ref file name in user.h Alissa Tung 2022-11-30 20:51:44 +08:00
  • 93c70ce0f9 Remove all files created during testing RayAndrew 2022-10-15 23:00:29 +08:00
  • 7687b389c2 Report an error when n is not equal to MAXFILE RayAndrew 2022-10-15 22:39:41 +08:00
  • 72cb3849eb Update uart.c x653 2023-02-17 13:03:20 +01:00
  • 343d1ab482 Put parentheses around macro argument. Wenyang Duan 2023-09-25 14:32:56 -07:00
  • 92e60dd833 switch from machine-mode to supervisor timer interrupts. this requires qemu version >= 7.2. Robert Morris 2024-07-10 07:29:26 -04:00
  • 5a1a4d45a4 slightly more thorough testing that one can't write invalid addresses Robert Morris 2024-01-01 16:10:02 -05:00
  • fe940f4d63 fix user.ld to get read-only text with riscv64-linux-gnu-ld 2.41 Robert Morris 2024-01-01 13:10:35 -05:00
  • dd2574bc10 tell gcc to check printf format strings add %ld %lld %u %lu %llu %lx %llx to kernel and user printf Robert Morris 2023-12-31 12:21:46 -05:00
  • 2b552503c0 no need to check state == RUNNING in timer interrupt because interrupts are always off (i.e. a lock is held) any time the current process is not in RUNNING state. Robert Morris 2023-10-14 06:24:14 -04:00
  • 0c32c04b29 kernelvec only needs to save caller-saved registers Robert Morris 2023-10-14 06:23:09 -04:00
  • 74c1eba516 Made va and size page aligned in mappages asselism 2022-10-17 16:02:54 -04:00
  • 0802d56a9b x Robert Morris 2022-10-17 04:10:01 -04:00
  • 4a88273db5 oops. scheduler() inherits the interrupt status of the most recent process to run, so it must explicitly turn them on again. It would be better if cpu->intena were really thread->intena. Robert Morris 2022-10-17 04:07:24 -04:00
  • f376ad7f1f scheduler()'s intr_on() is in the wrong place, reflecting the locking scheme from long ago. Robert Morris 2022-10-16 15:28:21 -04:00
  • 348cf7fee4 forkret first memory model Robert Morris 2022-10-12 13:07:55 -04:00
  • d2b2dff749 fix copyout() to refuse to write a read-only page Robert Morris 2022-10-04 11:52:57 -04:00
  • 989e8f2f1f Remove unused PLIC_M* macros Frans Kaashoek 2022-09-18 16:32:21 -04:00
  • 4b46c0c6eb Use O_RDONLY instead of 0 Frans Kaashoek 2022-09-11 13:51:11 -04:00
  • 463ae0abc3 handle negative arguments to sleep() a little better Robert Morris 2022-09-09 09:17:37 -04:00
  • f5b93ef12f Update acks 61810 Frans Kaashoek 2022-08-25 14:20:52 -04:00
  • 3d6ce9b308 Separate tests in slow and quick. The slow tests run xv6 out of memory, out of disk space, or test big directories. Frans Kaashoek 2022-08-25 09:45:35 -04:00
  • ed101befee comment the sfences Robert Morris 2022-08-24 13:47:47 -04:00
  • 581bc4cbd1 sfence before enabling paging Robert Morris 2022-08-24 13:42:59 -04:00
  • 29ce3161f8 Merge branch 'riscv' of g.csail.mit.edu:xv6-dev into riscv Robert Morris 2022-08-24 13:24:37 -04:00
  • 9c1b8a4eb0 sfence before writing satp, as well as after Robert Morris 2022-08-24 13:24:24 -04:00
  • cc486ddee0 Help students read this C syntax Frans Kaashoek 2022-08-24 08:57:56 -04:00
  • 96047832c6 Merge branch 'riscv' of g.csail.mit.edu:xv6-dev into riscv Robert Morris 2022-08-23 12:26:39 -04:00
  • 7c1810e1ae tolerate running out of inodes Robert Morris 2022-08-23 12:26:26 -04:00
  • ac8c0bb177 x Frans Kaashoek 2022-08-23 11:56:29 -04:00
  • 948cfbdb1f Rename test to textwrite Frans Kaashoek 2022-08-23 11:21:26 -04:00
  • 858fc68bdf Linker script makes binaries bigger; use larger disk so that usertests can run. Frans Kaashoek 2022-08-23 11:19:33 -04:00
  • ccb7bd14c7 Merge branch 'riscv' into uvm-perm Frans Kaashoek 2022-08-23 11:01:06 -04:00
  • 4cd4d194b8 Use simple linker script to force data segment to be page aligned Frans Kaashoek 2022-08-23 10:54:40 -04:00
  • 8621be8f3d tolerate out of disk when creating . and .. in mkdir() Robert Morris 2022-08-23 08:52:15 -04:00
  • dc405cdb7b don't panic if out of disk space when extending a directory. Robert Morris 2022-08-23 08:23:12 -04:00
  • cd6207a972 Merge branch 'riscv-killed' into riscv Frans Kaashoek 2022-08-23 07:31:08 -04:00
  • bc48c2be47 Add ref to this nice page about Chapter 9's regexp matcher Frans Kaashoek 2022-08-22 20:44:02 -04:00
  • 2f0b4d698b Use pp instead of np to be more consistent Frans Kaashoek 2022-08-22 19:58:33 -04:00
  • 2a391ebc8b Make argint() and argaddr() of type void (thanks Harry Porter) Frans Kaashoek 2022-08-22 19:53:09 -04:00
  • 7086197c27 Simplify uartputc slightly (thanks Harry Porter) Frans Kaashoek 2022-08-22 19:36:11 -04:00
  • 63ef3b8c9f slightly better comments Robert Morris 2022-08-22 13:49:15 -04:00
  • f2ee8690ad x Frans Kaashoek 2022-08-17 20:38:11 -04:00
  • 1d4c437ea1 Use uint64 (thanks carlclone and Harry Porter) Frans Kaashoek 2022-08-17 20:37:22 -04:00
  • cef1b57d4a Compile user binary to map text without W and data without X 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 Frans Kaashoek 2022-08-15 19:02:19 -04:00
  • 2175c6b0b6 Run tests in the order in which they appear in the file Frans Kaashoek 2022-08-15 19:01:34 -04:00
  • 7a6d57235c Costmestic change (thanks Harry Porter) Frans Kaashoek 2022-08-12 14:59:30 -04:00
  • 899cc02660 Experiment with being more precise setting permissions for user pages. Growing adds R|W pages (without X). Exec() marks the stack only R|W. Frans Kaashoek 2022-08-12 13:22:10 -04:00
  • 8f58cc7df9 Cosmetic change (thanks Harry Porter) Frans Kaashoek 2022-08-12 12:59:33 -04:00
  • 62bc610424 cosmetic changes (thanks Harry Porter) Frans Kaashoek 2022-08-12 11:47:39 -04:00
  • dd5a720044 cosmetic changes (thanks Harry Porter) Frans Kaashoek 2022-08-12 10:57:16 -04:00
  • 8bd04852c9 Delete rtcdate, which is a left-over from an old lab (thanks Harry Porter) Frans Kaashoek 2022-08-12 09:43:18 -04:00
  • 48d1a7ffa5 Add USED to states (thanks Harry Porter) Frans Kaashoek 2022-08-12 09:14:54 -04:00
  • 4f716c8550 Use p->lock to read p->killed Frans Kaashoek 2022-08-11 14:22:00 -04:00
  • 429c7b717e Use atomic store_n and load_n Frans Kaashoek 2022-08-11 08:42:52 -04:00
  • 975f3b31d3 Clean up using killed() Frans Kaashoek 2022-08-11 07:23:17 -04:00
  • 4087a6e7fc Read and write p->killed using atomics Frans Kaashoek 2022-08-10 20:35:42 -04:00
  • b1fd09335a Merge remote-tracking branch 'g/riscv' into riscv Frans Kaashoek 2022-08-10 10:31:54 -04:00
  • e67cb408d4 x Robert Morris 2022-08-10 07:06:49 -04:00