bunnie a244b204cc Merge pull request #388 from Foundation-Devices/syscall-virt-to-phys-pid ... Add virt_to_phys_pid syscall		2023-05-28 15:52:57 +08:00
..
arch	Merge pull request #388 from Foundation-Devices/syscall-virt-to-phys-pid	2023-05-28 15:52:57 +08: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	kernel: get exceptions fully working	2021-08-06 17:47:44 +08:00
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	adding license and copyright headers	2021-01-25 14:54:00 +01:00
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	try to fix the CI test routine	2022-01-10 19:03:20 +08:00