|
2 | 2 |
|
3 | 3 | <img src="https://rustacean.net/assets/rustacean-flat-happy.svg" width="120" alt="Ferris, the Rust mascot" /> |
4 | 4 |
|
5 | | -# axonos-kernels |
| 5 | +# axonos-kernel |
6 | 6 |
|
7 | 7 | ### the verifiable substrate underneath a brain–computer interface |
8 | 8 |
|
@@ -31,7 +31,7 @@ seven crates · 3 603 lines · 28 formal proofs · 66 tests · zero unsafe outsi |
31 | 31 |
|
32 | 32 | A closed-loop brain–computer interface is a hard-real-time medical |
33 | 33 | device measured in microseconds. Most BCI software in 2026 is not built |
34 | | -on a foundation that can carry that claim. `axonos-kernels` is the |
| 34 | +on a foundation that can carry that claim. `axonos-kernel` is the |
35 | 35 | start of one — seven Rust crates that compose into a verifiable kernel |
36 | 36 | substrate for BCI signal pipelines on Cortex-M class microcontrollers, |
37 | 37 | with the scheduling decision, the inter-process communication |
@@ -130,8 +130,8 @@ and its specific dependencies. |
130 | 130 |
|
131 | 131 | ```bash |
132 | 132 | # Clone and test |
133 | | -git clone https://github.com/AxonOS-org/AxonOS-kernel |
134 | | -cd AxonOS-kernel |
| 133 | +git clone https://github.com/AxonOS-org/axonos-kernel |
| 134 | +cd axonos-kernel |
135 | 135 | cargo test --workspace |
136 | 136 | # → 66 tests passed. |
137 | 137 | ``` |
@@ -359,14 +359,14 @@ patent litigation against the project. Details in |
359 | 359 | We actively encourage forks for research, education, and downstream |
360 | 360 | products. The fork procedure takes three clicks; see |
361 | 361 | [CONTRIBUTING.md](./CONTRIBUTING.md). If you build something with this, |
362 | | -we would like to hear about it: `info@axonos.org`. |
| 362 | +we would like to hear about it: `connect@axonos.org`. |
363 | 363 |
|
364 | 364 | --- |
365 | 365 |
|
366 | 366 | ## Workspace structure |
367 | 367 |
|
368 | 368 | ``` |
369 | | -AxonOS-kernel/ |
| 369 | +axonos-kernel/ |
370 | 370 | ├── README.md ← this file |
371 | 371 | ├── ABOUT.md ← purpose, audience, market |
372 | 372 | ├── CONTRIBUTING.md ← fork in 3 clicks, attribution |
@@ -416,7 +416,7 @@ to perform the handshake. This is the contract: |
416 | 416 | use axonos_kernel_core::{KERNEL_ABI_VERSION, KERNEL_IMPL_VERSION}; |
417 | 417 |
|
418 | 418 | assert_eq!(KERNEL_ABI_VERSION, 1); // wire-format contract |
419 | | -assert_eq!(KERNEL_IMPL_VERSION, "0.2.0"); // implementation version |
| 419 | +assert_eq!(KERNEL_IMPL_VERSION, "0.2.1"); // implementation version |
420 | 420 | ``` |
421 | 421 |
|
422 | 422 | The wire formats fixed by `KERNEL_ABI_VERSION` are documented normatively |
@@ -459,7 +459,7 @@ does NOT bump this number — only changes that break existing decoders do. |
459 | 459 |
|
460 | 460 | <div align="center"> |
461 | 461 |
|
462 | | -**Author:** Denis Yermakou · [denis@axonos.org](mailto:denis@axonos.org) |
| 462 | +**Author:** Denis Yermakou · [connect@axonos.org](mailto:connect@axonos.org) |
463 | 463 |
|
464 | 464 | [axonos.org](https://axonos.org) · [medium.com/@AxonOS](https://medium.com/@AxonOS) · [github.com/AxonOS-org](https://github.com/AxonOS-org) |
465 | 465 |
|
|
0 commit comments