apio 4753e80583 kernel: Make DeviceRegistry store the created devices instead of creating them when requested		2023-05-09 18:31:27 +02:00
..
devices	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
tmpfs	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
InitRD.cpp	kernel+tools: Allow loading files with different owners + add a more dynamic install script	2023-05-06 12:11:35 +02:00
InitRD.h	kernel: Move some files into subdirectories	2023-04-28 15:55:06 +02:00
VFS.cpp	kernel: Do not forbid filenames starting with a hyphen	2023-04-16 11:33:35 +02:00
VFS.h	kernel: Disallow problematic characters, control characters and invalid UTF-8 in filenames	2023-04-16 11:25:32 +02:00