bounded-registers
meta-raspberrypi
bounded-registers | meta-raspberrypi | |
---|---|---|
3 | 73 | |
50 | 497 | |
- | - | |
0.0 | 8.2 | |
over 2 years ago | 3 days ago | |
Rust | C | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
bounded-registers
-
What Is Type-Level Programming?
This sort of thing is something we abused about Rust quite some time ago to make safer interfaces to low-level hardware.
https://blog.auxon.io/2019/10/25/type-level-registers/
-
Type-level Bubble Sort in Rust: Part 2
A much more practically useful type-level programming in Rust A macro to define type-level logic with value-level syntax in Rust Type-level Brainfuck in Rust "Gentle Intro to Type-level Recursion in Rust" Type-level registers in Rust Type-level quicksort in Scala" Type-level sorting algorithms in Haskell A repo with functions and algorithms implemented purely on types in TypeScript
- Writing embedded firmware using Rust
meta-raspberrypi
- Damn Small Linux 2024
-
Still no love for WPA3 on the Raspberry Pi 5
How do you figure Pis have bad integration with Yocto?
https://github.com/agherzan/meta-raspberrypi
For what it's worth, the entire Pi lineup is also well supported by Buildroot. In-tree, no less.
- Ask HN: Are there any lean operating systems left?
- It's not an embedded Linux distribution – it creates a custom one for you
-
Most smartphones run Linux (modified kernel) as well as most servers in the world and some consoles but what other major things run a Linux kernel?
Embedded linux exactly. Major OEMs are using yocto. Check https://www.yoctoproject.org/
- Fazer uma distribuição Linux
-
Creating a minimal Debian system
Been there. You don't want alpine or debian. Good gpos, but what you want is Yocto, which will let you build exactly and only what you need piece by piece including only the kernel modules for your hardware, the exact applications you use and no extras, and with a little extra tweaking, you can wire in Mender for ota updates and the ability to push custom images to clients that need specialization, or even fully unlocked images for customers that need it, plus if you're using an SD card, you can send users recovery drives instead of shipping full devices or let them build their own images without your proprietary code
-
Distro that is only terminal, but still has the packages to install stuff?
I second Yocto. It's the kernel in use by the OpenBMC project
-
How to make your own distro?
One last "option" is yocto but tis is not good for desktop, but it can be a fun project.
- Como creo un SO?
What are some alternatives?
hubris - A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
meta-typing - 📚 Functions and algorithms implemented purely with TypeScript's type system
Arduino - Arduino IDE 1.x
tyrade - A pure functional language for type-level programming in Rust
ArduinoCore-avr - The Official Arduino AVR core
humility - Debugger for Hubris
box64 - Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64 Linux devices
BitBang_I2C - A software I2C implementation to run on any GPIO pins on any system
yoe-distro - Embedded Linux distribution optimized for product development (based on OE/Yocto)
esp32 - Peripheral access crate for the ESP32
stm32f4xx-hal - A Rust embedded-hal HAL for all MCUs in the STM32 F4 family