Commit 6289e35
Denis Yermakou
v0.2.0: KERNEL_ABI_VERSION + CapabilitySet API parity with SDK v0.3.4
Added:
- KERNEL_ABI_VERSION = 1 const in axonos-kernel-core (RFC-0006 binding)
- KERNEL_IMPL_VERSION str const (= CARGO_PKG_VERSION)
- CapabilitySet::all() method form (mirrors SDK v0.3.4)
- CapabilitySet::is_disjoint() method (2-cycle WCET)
- 8 unit tests for new CapabilitySet methods
- 5 ABI conformance tests in axonos-kernel-core
- .github/workflows/release.yml (auto-release on tag push)
- CHANGELOG.md with full history v0.1.0 -> v0.2.0
- README: ABI compatibility matrix section
No breaking changes. CapabilitySet::ALL and Capability::ALL constants
retained. Wire format byte-identical to v0.1.x.
Tandem with axonos-sdk v0.3.4 verified: both report
KERNEL_ABI_VERSION = 1 — handshake succeeds.1 parent 6dd7775 commit 6289e35
86 files changed
Lines changed: 541 additions & 6482 deletions
File tree
- .github/workflows
- axonos-capability
- src
- axonos-firmware-stm32f407
- .cargo
- axonos-intent
- axonos-kernel-core
- src
- axonos-scheduler
- axonos-spsc
- axonos-time
- docs
- examples
- kani_proofs
- scripts
- src
- attestation
- capability
- consent
- hal
- ipc
- platform
- ringbuf
- scheduler
- signal
- zerocalib
- tests
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
This file was deleted.
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
This file was deleted.
0 commit comments