rust-raspberrypi-OS-tutoria
usbboot
rust-raspberrypi-OS-tutoria | usbboot | |
---|---|---|
3 | 8 | |
- | 843 | |
- | 1.9% | |
- | 8.1 | |
- | 12 days ago | |
C | ||
- | Apache License 2.0 |
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.
rust-raspberrypi-OS-tutoria
-
How would you build an operating system? (SerenityOS with Andreas Kling)
I am very interested in this tutorial for building an OS for the Raspberry Pi in Rust: https://github.com/rust-embedded/rust-raspberrypi-OS-tutoria...
I'd love to try it out when (if ever) I have the time.
-
Tutorial: Writing a “bare metal” operating system for Raspberry Pi 4
Is this just an alternative UI for GitHub but without the files? Am I missing something obvious? I'm confused.
Actual github repo for anyone looking for the files: https://github.com/rust-embedded/rust-raspberrypi-OS-tutoria...
- Build a Raspberry Pi Linux System the Hard Way
usbboot
-
Why Nordic Is Getting Involved in RISC-V
https://github.com/raspberrypi/usbboot/blob/master/secure-bo...
Note that the Raspberry Pi does not have a full TrustZone implementation to protect secure mode memory, etc. But it is a widely available device with good documentation and allows developers to experiment with and learn about the basics of TrustZone architecture.
-
UEFI Secure Boot on the Raspberry Pi
The Pi4 has true hardware support for secure boot. If set up correctly, you won't be able to boot anything not properly signed. An incomplete overview of how this works is:
* Instead of having all boot related files (start4.elf, kernel.img, ...) on the first partition of the SD card, you instead have a single boot.img FAT image containing those files instead.
* You sign that file with your own RSA 2048 key and place a boot.sig containing the signature next to the boot.img file.
* You flash the Pi4 EEPROM and include your public key and some additional EEPROM settings.
* You instruct the EEPROM to burn the hash of your public key into the Pi's OTP memory. Once that's done, the key cannot be changed and the Pi will not boot into anything not signed with your key.
* Optionally you can also place keys for disk encryption into the OTP memory and use that to encrypt everything except the boot files. That way it should be pretty hard to access them as you cannot run a rogue OS to read the OTP memory due to secure boot.
References:
* https://github.com/raspberrypi/usbboot/blob/master/secure-bo...
-
What would it take to use my desktop as a virtual boot drive for an RPi 4?
That may be something you could do with this tool? I haven’t tried it myself yet, but I’ve been meaning to. https://github.com/raspberrypi/usbboot
-
RPi CM4 and dual ethernet board working awesome.
I used a CM4 with 2GB, 8 GB eMMC, and has wifi/bt. To flash the eMMC memory, you need rpiboot. Some instructions link to old versions, it might not connect the CM4. Click current release on Raspberry Pi's usbboot github. I tried different carrier boards, different cables, different computers before figuring this out...
-
Gpi case 2 ... black screen at boot
This is exactly what I just discovered! I was having a hard time getting the CM4 in my GPi 2 Case to get recognized by my PC. You need to download usbboot from Raspberry Pi’s GitHub page https://github.com/raspberrypi/usbboot
-
Raspberry pi zero W 1.1 ONLY boots from USB
I went further and tried this: https://github.com/raspberrypi/usbboot
-
Tutorial: Writing a “bare metal” operating system for Raspberry Pi 4
On the Pi Zero and Pi CM (maybe also others) you don't even need an SD card to boot it. You can boot it via rpi-boot https://github.com/raspberrypi/usbboot
-
2021 Jun 14 Stickied 𝐇𝐄𝐋𝐏𝐃𝐄𝐒𝐊 thread - Boot problems? Display problems? Networking problems? Need ideas? Get help with these and other questions! 𝑳𝑶𝑶𝑲 𝑯𝑬𝑹𝑬 𝑭𝑰𝑹𝑺𝑻
apt update apt install build-essential libusb-1.0-0-dev git -y git clone --depth=1 https://github.com/raspberrypi/usbboot cd usbboot make ./rpiboot
What are some alternatives?
rpi4-osdev - Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
rust-raspberrypi-OS-tutorials - :books: Learn to write an embedded OS in Rust :crab:
circle - The compiler is available for download. Get it!
linux - Linux kernel source tree
cs140e-20win - cs140e course materials.
duckduckgo-locales - Translation files for <a href="https://duckduckgo.com"> </a>
tools
circle - A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)