Vihaan Jim dc9411669c Correctly set process.inner on riscv ... This changes the process.inner.pid to the correct PID. Before, it was simply 1. This lead to problems, for example when sending messages where an assert checks to make sure that the current PID and the process PID are the same. Now, you can send messages from a new process.		2023-07-04 15:22:44 -04:00
..
arch	Correctly set process.inner on riscv	2023-07-04 15:22:44 -04:00
debug	kernel: gdb: batch 2- and 4-byte accesses	2023-05-11 15:13:03 +08:00
platform	Merge pull request #363 from betrusted-io/lcdpanic	2023-04-10 15:31:02 +08:00
args.rs
asm.S	kernel: fix atomic operations	2023-02-02 23:10:12 +08:00
io.rs	kernel: Split debug shell and uart driver.	2022-11-02 14:30:31 +01:00
irq.rs	kernel: make disable_irq() infallible	2023-04-06 10:42:46 +08:00
macros.rs
main.rs	kernel: fix compile errors	2023-03-14 18:48:15 +04:00
mem.rs	kernel: add sama5d2 uart workaround	2023-03-14 18:36:41 +04:00
server.rs	kernel: server: check buf is some when returning mem	2022-12-29 21:03:39 +08:00
services.rs	prevent overwriting current process ID in case of double-interrupt	2023-04-12 23:14:09 +08:00
syscall.rs	Add virt_to_phys_pid syscall	2023-05-23 19:43:53 +04:00
test.rs