|
72633eb339
|
maint: sync up other architectures with mmap(file)
|
2025-02-26 16:21:56 +02:00 |
|
|
8cbde8389f
|
dev: pass DeviceInitContext into Device::init()
|
2025-02-06 12:24:03 +02:00 |
|
|
7348232aa9
|
pci/dt: rework pci interrupts, add gicv2m and dt msi controllers
|
2025-02-05 21:45:48 +02:00 |
|
|
49b918e2ac
|
cfg: allow passing cmdline options to the kernel
|
2024-12-17 19:12:39 +02:00 |
|
|
047746d134
|
dt: add clocks, bcm2835-aux driver
|
2024-12-16 22:06:40 +02:00 |
|
|
a9340ea089
|
dt: rework device-tree, proper interrupt handling
|
2024-12-16 00:23:23 +02:00 |
|
|
ccb5a6a7eb
|
aarch64: prettify cache init
|
2024-12-15 15:20:09 +02:00 |
|
|
a2adff85a7
|
x86: fix i686/x86_64 build
|
2024-12-14 13:10:46 +02:00 |
|
|
60164fedca
|
aarch64: add raspberry pi 4b target
|
2024-12-14 02:34:22 +02:00 |
|