development_kernel #1

Merged

philippbomers merged 10 commits from development_kernel into development 2026-10-01 18:14:17 +02:00

Conversation 0 Commits 10 Files changed 64 +6140 -389

philippbomers commented 2026-10-01 18:14:09 +02:00

Owner

Copy link

No description provided.

philippbomers added 10 commits 2026-10-01 18:14:09 +02:00

feat: implement full Wolkie Atto-Kernel architecture and test suites ... 20a3188045

Co-authored-by: Junie <junie@jetbrains.com>

fix(boot): resolve build.sh path resolution, config.h generation, and ZFR linking ... 28943dfec0

Co-authored-by: Junie <junie@jetbrains.com>

test: expand module coverage and improve contributor docs ... 2a6fa81298

- Add invariant and boundary tests across Rust and WASM modules
- Fix CEH encoding and hashing gaps and enforce monotonic T-CAS epochs
- Document project structure, setup, testing, and prototype limitations
- Refine ignored build artifacts while keeping Cargo.lock files trackable

test: run critical module suites in WSL and record results ... c1fcc82e15

- Fix CEH test module placement so Cargo discovers the tests
- Add test logs and document black-box and white-box coverage
- Summarize test findings and unit-testing approach in the development guide

Rust workspace and WASM tests: 51 passed, 0 failed

test: harden kernel modules and document full validation ... 7a77403293

Fix CEH edge cases and enforce monotonic T-CAS epochs. Correct the Ada
test fixture and configure WASM panic handling for no_std builds.
Document the validation results and record the full WSL test and build log.

feat: harden SPARK core and bundle Rust crates for UEFI ... 0ecbed9faf

Strengthen Ada authorization, fuel, and T-CAS handling with contracts
and runtime tests. Replace custom crypto placeholders with BLAKE3 and
HKDF-SHA-256, backed by published test vectors.

Bundle the Rust components into a no_std EFI library, verify linked
exports, and record the successful QEMU genesis boot.

bugfix: added gitattributes to force lf 3f28e98021

bugfix: fixed GNATprove spark issues 9ab95e0360

bugfix: fixed test runner compilation 03c921a347

core: cleanup dad3b8cabc

philippbomers merged commit 32a7e4c691 into development 2026-10-01 18:14:17 +02:00

philippbomers referenced this pull request from a commit 2026-10-01 18:14:19 +02:00

Merge pull request 'development_kernel' (#1) from development_kernel into development

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

philippbomers/MSIT5910-atto-kernel-architecture!1

No description provided.