1
0
mirror of https://github.com/google/comprehensive-rust.git synced 2024-11-21 13:25:53 +02:00

Consistently end list items with a full stop (#2416)

This is more consistent.
This commit is contained in:
Martin Geisler 2024-10-16 11:34:22 +02:00 committed by GitHub
parent bd7b7eb121
commit 701589ffd5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 15 additions and 14 deletions

View File

@ -20,15 +20,15 @@ The speaker may mention any of the following given the increased use of Rust in
Android:
- Service example:
[DNS over HTTP](https://security.googleblog.com/2022/07/dns-over-http3-in-android.html)
[DNS over HTTP](https://security.googleblog.com/2022/07/dns-over-http3-in-android.html).
- Libraries:
[Rutabaga Virtual Graphics Interface](https://crosvm.dev/book/appendix/rutabaga_gfx.html)
[Rutabaga Virtual Graphics Interface](https://crosvm.dev/book/appendix/rutabaga_gfx.html).
- Kernel Drivers:
[Binder](https://lore.kernel.org/rust-for-linux/20231101-rust-binder-v1-0-08ba9197f637@google.com/)
[Binder](https://lore.kernel.org/rust-for-linux/20231101-rust-binder-v1-0-08ba9197f637@google.com/).
- Firmware:
[pKVM firmware](https://security.googleblog.com/2023/10/bare-metal-rust-in-android.html)
[pKVM firmware](https://security.googleblog.com/2023/10/bare-metal-rust-in-android.html).
</details>

View File

@ -1,12 +1,12 @@
# Other projects
- [oreboot](https://github.com/oreboot/oreboot)
- "coreboot without the C"
- "coreboot without the C".
- Supports x86, aarch64 and RISC-V.
- Relies on LinuxBoot rather than having many drivers itself.
- [Rust RaspberryPi OS tutorial](https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials)
- Initialisation, UART driver, simple bootloader, JTAG, exception levels,
exception handling, page tables
exception handling, page tables.
- Some dodginess around cache maintenance and initialisation in Rust, not
necessarily a good example to copy for production code.
- [`cargo-call-stack`](https://crates.io/crates/cargo-call-stack)

View File

@ -1,19 +1,20 @@
# Other projects
- [RTIC](https://rtic.rs/)
- "Real-Time Interrupt-driven Concurrency"
- Shared resource management, message passing, task scheduling, timer queue
- "Real-Time Interrupt-driven Concurrency".
- Shared resource management, message passing, task scheduling, timer queue.
- [Embassy](https://embassy.dev/)
- `async` executors with priorities, timers, networking, USB
- `async` executors with priorities, timers, networking, USB.
- [TockOS](https://www.tockos.org/documentation/getting-started)
- Security-focused RTOS with preemptive scheduling and Memory Protection Unit
support
support.
- [Hubris](https://hubris.oxide.computer/)
- Microkernel RTOS from Oxide Computer Company with memory protection,
unprivileged drivers, IPC
- [Bindings for FreeRTOS](https://github.com/lobaro/FreeRTOS-rust)
- Some platforms have `std` implementations, e.g.
[esp-idf](https://esp-rs.github.io/book/overview/using-the-standard-library.html).
unprivileged drivers, IPC.
- [Bindings for FreeRTOS](https://github.com/lobaro/FreeRTOS-rust).
Some platforms have `std` implementations, e.g.
[esp-idf](https://esp-rs.github.io/book/overview/using-the-standard-library.html).
<details>