alnyan ac0432100d aarch64: reenable L2 device pages

2024-12-16 14:25:48 +02:00

..

arch

aarch64: reenable L2 device pages

2024-12-16 14:25:48 +02:00

driver

dt: rework device-tree, proper interrupt handling

2024-12-16 00:23:23 +02:00

lib

aarch64: reenable psci, add spin-table smp init

2024-12-16 14:24:46 +02:00

libk

aarch64: reenable psci, add spin-table smp init

2024-12-16 14:24:46 +02:00

modules/test_mod

dev: rework device management (&'static -> Arc)

2024-12-10 11:52:26 +02:00

src

aarch64: reenable psci, add spin-table smp init

2024-12-16 14:24:46 +02:00

tools/gentables

refactor: switch to workspace dependencies

2024-11-01 20:37:30 +02:00

.gitignore

Add 'kernel/' from commit '7f1f6b73377367db17f98a740316b904c37ce3b1'

2024-03-12 15:52:48 +02:00

build.rs

i686: add platform support

2024-10-10 18:06:54 +03:00

Cargo.toml

aarch64: add raspberry pi 4b target

2024-12-14 02:34:22 +02:00