Kernel API work #343

berkus wants to merge 107 commits into develop from feat/kernel-api
berkus
semanticdiff-com
berkus berkus force pushed from dfdef8a1 to 2f5bbcdc 117 days ago
berkus berkus force pushed from 2f5bbcdc to c2748807 117 days ago
berkus berkus assigned berkus berkus 117 days ago
berkus berkus force pushed from c2748807 to ebadc68f 117 days ago
berkus berkus force pushed from ebadc68f to bf4373f9 117 days ago
metta-systems metta-systems deleted a comment from cocogitto-bot on 2026-02-21
berkus berkus force pushed from 178c8e18 to 0be5a39c 117 days ago
berkus berkus force pushed from a7a714b2 to 1e30f341 117 days ago
berkus berkus force pushed from 1e30f341 to ac295d0a 117 days ago
berkus berkus force pushed from ac295d0a to 0d241842 117 days ago
berkus berkus force pushed from 0d241842 to 863b146c 117 days ago
berkus feat: 📦 Fix all cargo-make commands - replace them with one Justfile
27802b8e
berkus berkus force pushed from 863b146c to 6b31dff7 117 days ago
berkus berkus force pushed from 6b31dff7 to bfa5fb74 116 days ago
berkus berkus force pushed from bfa5fb74 to c3f8d57d 116 days ago
berkus berkus force pushed from c3f8d57d to b89f6ff6 112 days ago
berkus berkus force pushed from b89f6ff6 to 9436f5c6 112 days ago
berkus berkus force pushed from 9436f5c6 to bffb2a58 112 days ago
berkus berkus force pushed from bffb2a58 to d8d7c001 112 days ago
berkus berkus force pushed from d8d7c001 to cae02f5d 108 days ago
berkus wip: work on mmu setup ⬆️
535d9fc7
berkus wip: better MMU init
f9e6a705
berkus wip: call mmu init from boot code
f277ba8e
berkus wip: ❌ delete me
1fd35f13
berkus wip: buildable
927aa67b
berkus wip: boot init-thread in EL2 - make compile
1404f85b
berkus wip: early_print crash in qemu
5cf2e089
berkus wip: new linker script prototype
9bc93e08
berkus wip: move nucleus to kernel before split
1e077ae3
berkus wip: move impl from kernel-embed-prototype
c5cbcf44
berkus wip: split nucleus + init_thread = kernel
ac1cb89c
berkus wip: libmemory
d55fcc43
berkus wip: generate kernel meta from template
4653d475
berkus wip: debug qemu semihosting output
8a9220a1
berkus wip: run mapping and drop to EL1
f1ae7819
berkus wip: working syscall EL1-to-EL1 (temporary?)
b125803b
berkus wip: panic handler
93bba3a0
berkus wip: add kernel api
aaf6554c
berkus wip: enter and return from syscall
e4cafd9d
berkus wip: 🚧 Run the init_thread to map kernel high, prep caps and create a…
d79cdda9
berkus wip: make it compile temporarily
be8ed6bb
berkus wip: parse DTB ⬆️
b7a5bcc4
berkus docs: 📖 Add annotated DTB specs
66e54e9e
berkus wip: Add wrapper for fdt-rs crate, bootup with DTB
d0e67718
berkus wip: Add more dtbs for the boards I have
f4ac2b68
berkus wip: chainloader must pass through the DTB
7e69227f
berkus wip: add payload iter tests - @todo finish them
ce783efb
berkus wip: add dump of entire live FDT from the board
7eaf888e
berkus wip: parse DTB ⬇️
3d170eb7
berkus wip: convert QEMU write0 call argument to CStr for stronger type guar…
472599e5
berkus wip: Dump FDT
477398e6
berkus wip: exit qemu automatically
ef85a7d4
berkus wip: update plan progress
63d112ea
berkus wip: boot_info ⬆️
b2f7bd9c
berkus wip: move new version of boot_info aside, prior to merging the old one
3f0f7da8
berkus wip: Add boot memory regions info
ee74b279
berkus wip: Switch to usize for alignment checks
a5f3b0c0
berkus wip: messing with memregions
225c464e
berkus wip: update BOOT_INFO struct with available mem info
4db647f5
berkus wip: print some region info
3a3b8aaf
berkus wip: refactor and fix compile
ca8b8f75
berkus wip: make bootinfo bss-initializable by default
3d85ba66
berkus wip: add InvalidRegion error code
13f7c5cb
berkus wip: enable testing of dependency crates (not working yet)
df0e6e09
berkus wip: add docs and stuff
8e53ade0
berkus wip: refactor boot_info blocks
6aa951d0
berkus wip: boot_info ⬇️
03f33278
berkus wip: compile fixes
269cac36
berkus wip: add Key types and simplest DebugConsole capability invocation
3b362480
berkus wip: 🚧 arch-specific key types
bb59857d
berkus wip: 🚧 two-phase arch-key dispatch
f9016c8d
berkus refactor: arch objects
cdc19bcb
berkus refactor: #2 - untypeds
657bf664
berkus wip: add libobject - split into user-space part, invocation handler a…
ca3a7b2f
berkus wip: debug console trial
9a06b774
berkus fix: compile fixes #6
b8f51034
berkus wip: Domain pages and DCB user-space view
c43eae7a
berkus fix: Compile fixes #7
72c31a7a
berkus wip: Make a capability call demo work with DebugConsole
96a0b51c
berkus fix: Cleanup exception context, return values from syscall
e80eb93b
berkus wip: update plan progress
3101b308
berkus wip: clean up exceptions code
bff2aa9b
berkus wip: clean up boot code
606f1d56
berkus wip: clean up old init thread code, split to userspace
2a6ab6c9
berkus wip: split libmemory into libaddress and libpaging (or libmmu?)
a7fd69d9
berkus wip: extract liballoc
b52cd2d9
berkus refactor: ♻️ Flatten libplatform
9ad736d1
berkus refactor: ♻️ Flatten and clean up libmemory
6b8bdbd7
berkus refactor: ♻️ Split libmemory to libmmu, liballoc, libmapping, libmmio
f6d6057d
berkus wip: Claude's idea for how libmemory could look like, lets test
62c97e1f
berkus wip: Add x86_64
9b106c23
berkus wip: Add RISC-V64
22247768
berkus wip: Add PowerPC
745b128a
berkus wip: Improve DeviceTree cells iteration
f0965ade
berkus wip: List DTB entries with mem regions
1b7e5322
berkus wip: Collect and sort memory regions for mmio devices
c8e5de76
berkus wip: Add list of DTB drivers in order of implementation potentially
6f3dfa9e
berkus wip: Clean up boot_info and prep for DTB filling in, print mem map
634e044c
berkus wip: Add 16K and 64K granules for aarch64
fd10e245
berkus wip: Add (Drop) flag to temporary allocations
fdd90e32
berkus wip: Inline untyped cap into the key_table
fff69219
berkus berkus force pushed from 34541f42 to b5ae51ea 106 days ago
berkus wip: Rename vesper libs for potentially unlocking publishing
6e661a7a
berkus wip: Update deps
2ae63ef7
berkus wip: re-enable tests
68daa93e
berkus wip: Switch from ux to arbitrary-int
0f60dbbe
berkus wip: Switch from bitfield-struct to bitbybit
1373c465
berkus wip: Add Justfile alias t for test
ace8e452
berkus berkus force pushed from b5ae51ea to ace8e452 100 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
Labels
Milestone