|
|
f150425222
|
kernel: Create a new shared memory object if the old one was lost
|
2023-08-03 10:31:29 +02:00 |
|
|
|
d8f6af99b8
|
kernel: Let devices use shared memory
|
2023-08-03 09:25:23 +02:00 |
|
|
|
187f0ff83e
|
kernel: Rename Inode::blocking() to Inode::will_block_if_read()
|
2023-07-30 11:41:53 +02:00 |
|
|
|
32d2e0e6b7
|
kernel: Remove register_special_device()'s name parameter
This is now duplicate information that can be queried using device->device_path().
|
2023-06-16 21:46:51 +02:00 |
|
|
|
e7d482e78a
|
kernel+init: Add a VFS mount system and auto-populate the devfs
|
2023-05-17 19:40:37 +02:00 |
|
|
|
4753e80583
|
kernel: Make DeviceRegistry store the created devices instead of creating them when requested
|
2023-05-09 18:31:27 +02:00 |
|
|
|
4f6e020196
|
kernel+libc: Add framebuffer ioctls
|
2023-04-21 18:25:53 +02:00 |
|
|
|
841fc25137
|
kernel+init: Add a framebuffer special device file
|
2023-04-21 18:18:15 +02:00 |
|
