Imbus/xv6-riscv-kernel
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
1564 commits 1 branch 0 tags 18 MiB
Commit graph

119 commits

Author SHA1 Message Date
Imbus
aacb2f8db2 Correcting logic error 2025-01-22 00:05:41 +01:00
Imbus
0b46382a56 Formatting 2025-01-21 23:54:00 +01:00
Imbus
99b9c7533d Cleaner assembly formatting string, syscall length checking 2025-01-21 23:53:56 +01:00
Imbus
c8e3356a1d Typo in py 2025-01-15 13:28:20 +01:00
Imbus
c9665ce5bd Sanity checking when generating usys.S 2025-01-15 13:14:02 +01:00
Imbus
20551ae040 Remove dependence on perl, depend on python instead 2025-01-14 20:29:50 +01:00
Imbus
b8b8f58fee Cleaning up init, splitting out banner to separate header. 2025-01-11 15:52:03 +01:00
Imbus
bae44d0333 Halt system on shell exit 2025-01-11 15:51:10 +01:00
Imbus
146e7f65ca Halt syscall and userspace util. Mapped qemu power. 2025-01-11 14:50:17 +01:00
Imbus
59d36a7c8e Halt draft 2024-08-09 07:58:00 +02:00
Imbus
9b339273bb Fixing broken loop formatting 2024-08-07 16:07:20 +02:00
Imbus
7ed836c1e1 Cleaning unused imports 2024-08-07 14:57:15 +02:00
Imbus
5bbe3619df Formatting 2024-08-07 14:25:34 +02:00
Imbus
ad34ff9b86 Removing redundant imports 2024-08-07 11:26:33 +02:00
Imbus
be6678c0e6 Helpful comments in assembly and linker script files 2024-08-07 11:26:07 +02:00
Imbus
065b782951 Initial documentation for system calls 2024-08-07 08:26:50 +02:00
Imbus
0ccb8c094d Removing unused includes 2024-08-07 07:56:22 +02:00
Imbus
11b52f63c1 Trace syscall WIP 2024-08-07 06:39:09 +02:00
Imbus
a14ba848b3 Header guards (#pragma once) for all kernel headers 2024-08-07 06:35:06 +02:00
Imbus
eccdaeeaaa Disable clang-format for certain lines 2024-08-07 05:20:01 +02:00
Imbus
ace0dc3de9 Clear terminal command 2024-07-10 23:47:41 +02:00
Imbus
4d688c6837 Cool banner because it is cool 2024-07-03 08:25:31 +02:00
Imbus
d6793bf093 Complete reformat 2024-06-15 16:55:06 +02:00
Imbus
362d5adeb2 Type names (uint32 -> u32, e.t.c.) 2024-05-24 11:26:40 +02:00
Frans Kaashoek
3d6ce9b308 Separate tests in slow and quick. The slow tests run xv6 out of 
memory, out of disk space, or test big directories.

Support -q option to run only the quick tests, which saves about
7mins.

Clean up driver by removing duplicated code.
 2022-08-25 09:45:35 -04:00
Robert Morris
9c1b8a4eb0 sfence before writing satp, as well as after 2022-08-24 13:24:24 -04:00
Robert Morris
7c1810e1ae tolerate running out of inodes 2022-08-23 12:26:26 -04:00
Frans Kaashoek
948cfbdb1f Rename test to textwrite 2022-08-23 11:21:26 -04:00
Frans Kaashoek
ccb7bd14c7 Merge branch 'riscv' into uvm-perm 2022-08-23 11:01:06 -04:00
Frans Kaashoek
4cd4d194b8 Use simple linker script to force data segment to be page aligned 2022-08-23 10:54:40 -04:00
Robert Morris
8621be8f3d tolerate out of disk when creating . and .. in mkdir() 2022-08-23 08:52:15 -04:00
Robert Morris
dc405cdb7b don't panic if out of disk space when extending a directory. 2022-08-23 08:23:12 -04:00
Frans Kaashoek
bc48c2be47 Add ref to this nice page about Chapter 9's regexp matcher 2022-08-22 20:44:02 -04:00
Frans Kaashoek
f2ee8690ad x 2022-08-17 20:38:11 -04:00
Frans Kaashoek
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
 2022-08-15 19:02:19 -04:00
Frans Kaashoek
2175c6b0b6 Run tests in the order in which they appear in the file 2022-08-15 19:01:34 -04:00
Frans Kaashoek
8bd04852c9 Delete rtcdate, which is a left-over from an old lab (thanks Harry Porter) 2022-08-12 09:43:18 -04:00
Robert Morris
e67cb408d4 x 2022-08-10 07:21:50 -04:00
Robert Morris
07cf0eb255 have sh print prompt with write, not printf, to make 
system call lecture a little clearer.
 2022-08-10 07:21:50 -04:00
Robert Morris
76ad8e974f avoid user-level segfault if a process doesn't call exit() 2022-08-10 06:37:21 -04:00
Robert Morris
872fa88e8a tolerate running out of disk blocks 2022-08-10 06:13:52 -04:00
John Jolly
2462656f21 [user/ls]: List specific device file 
When using the ls userspace program to list a specific device file,
nothing would be displayed. This was because ls only tests for T_FILE
and T_DIR. T_DEVICE files would fall through the case block.

Adding T_DEVICE to the T_FILE case allows a device file to be listed.

    $ ls console
    console        3 19 0
 2022-08-09 20:29:38 -04:00
Frans Kaashoek
1b02b08db1 Mark runcmd with attribute noreturn, since it doesn't return 
When compiling with gcc version 12, this change also avoids the
compiler warning "infinite recursion detected" for runcmd()
 2022-08-02 09:38:22 -04:00
Frans Kaashoek
bf4816c9c6 Delete unused code (Jude Rich <juder11@gmail.com>) 2021-09-01 07:24:07 -04:00
flespark
49f1e2f888 fix a invalid printf format string 2021-08-31 14:16:31 -04:00
FIXED-TERM Chen Ian (BT-CO/QMM5)
8d4ff0bc1e fix typos in user/usertest.c & kernel/log.c 2021-08-31 14:10:14 -04:00
Robert Morris
3b3f83f100 check that there's no panic if user process tries to write >= MAXVA 2021-08-06 11:06:24 -04:00
Robert Morris
08c9eda85f sync usertests 2021-07-02 14:24:45 -04:00
Robert Morris
1841baa3dd keep usertests.c in sync with riscv-sol-2020 2021-07-02 09:57:14 -04:00
Robert Morris
6e3f75c2aa suppress an incorrect error message in grind 2020-11-19 16:48:41 -05:00