rust-raspberrypi-OS-tutorials
Theseus
Our great sponsors
rust-raspberrypi-OS-tutorials | Theseus | |
---|---|---|
26 | 32 | |
12,932 | 2,734 | |
1.9% | 1.7% | |
6.3 | 8.8 | |
2 months ago | 3 months ago | |
Rust | Rust | |
Apache License 2.0 | 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.
rust-raspberrypi-OS-tutorials
- Operating System Development Tutorials in Rust on the Raspberry Pi
-
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.
- M1 crate
- OS development tutorials in Rust on the Raspberry Pi
- Embedded Rust Development
-
Has anyone programmed a Raspberry Pi with Rust?
I like rust, low level and embedded hacking so I programmed a simple "kernel", based on this: https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials
-
Can you learn and be good at programming by imitating codes?
So every week, I basically followed along these tutorials. I didn't even made an effort to fully understand the code I was copying, as I just didn't want to waste mental energy on it as I wanted that energy and time wasted on my focus at the time (C++ and JS). I did that for like a year, doing 1-3 tutorials/week from that site. Over the course of it, I got to build web apps, several compilers, several games mostly board games/3d shooters/2d multiplayer games, raytracers, peer to peer apps, building a networking stack, bots, blockchain apps, servers, PGP encryption, E2E encryption apps such as for messaging, built a NES emulator, virtual machines, simulators and graphics programming, etc. I'd say the longest one was learning to build a tiny OS on raspberry pi
-
Linux booting raspberry via USB?
Hello everyone, I'm not sure if this is possible, but I'll give it a shot. I have a raspberry PI zero and a linux host pc. I am trying to run stuff on the raspberry on bare metal, no OS below it (using this tutorial https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials/). Now in the tutorial 4 there is a step "flash the kernel onto SD card and insert the SD card into the raspberry". Now, given my lack of SD card adapter (I'm also curious) I wanted to ask if it is possible to deliver this kernel onto the raspberry without the SD card using USB.
-
Writing a โbare metalโ operating system for Raspberry Pi 4
I believe it already exists: https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials
-
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...
Theseus
- Theseus OS
-
Fomos: Experimental OS, Built with Rust
Theseus OS (https://www.theseus-os.com/) is also an OS written in Rust. It's a safe-language OS and I believe it's the future of the OSes due to its unique features.
-
Asynchronous Rust on Cortex-M Microcontrollers
I believe that Tock (tockos.org) and Theseus (https://github.com/theseus-os/Theseus) are in this area a bit as well, just from an actual OS perspective.
I don't know much about this area, but it would be wonderful if these could work with the Libre compute boards, like the AM Logic S905X (Lepotato) or the Rock chip, since they're so much cheaper than a Pi.
-
I am looking for a troubled/bad open source codebase
We could use some help here: https://github.com/theseus-os/Theseus
-
Making a RISC-V Operating System Using Rust
Relevant, also an OS written in and made possible by Rust: https://www.theseus-os.com/
I think Theseus is to conventional OSes what Rust is to JavaScript.
- Linux kernel use-after-free in Netfilter, local privilege escalation
-
Microsoft is busy rewriting core Windows library code in memory-safe Rust
I wonder if somehow someday Microsoft Windows can be rerooted as something like wine running in user space of a rust os like https://github.com/theseus-os/Theseus
-
Need help for porting my kernel to different architectures.
We've been working on porting Theseus OS to aarch64 over the past few months, feel free to browse our code if you need help understanding anything. Theseus is written from scratch entirely in Rust, so it's likely quite relevant to your work. You can probably find all of the aarch64-related commits and issues just by searching "aarch64" on the repo.
-
Exploiting null-dereferences in the Linux kernel
I mean, there are several rust kernel/os projects in progress.
One project that's pushing on the boundary of safety and composability is Thesus, which takes language safety to new ground by shifting traditionally OS-level responsibilities like resource management all the way down to typechecks in the language, and also explores a way of updating any core OS component on a live running system. https://github.com/theseus-os/Theseus
There's also KataOS which google just recently announced: https://opensource.googleblog.com/2022/10/announcing-kataos-...
As you note, these things take time, I agree with sibling that none of them are likely to be "enterprise-grade" or "production ready" this decade.
-
[concept] Modular kernel
Not to rain on your parade, but you've essentially just described Theseus OS.
What are some alternatives?
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
nomicon - The Dark Arts of Advanced and Unsafe Rust Programming
rppal - A Rust library that provides access to the Raspberry Pi's GPIO, I2C, PWM, SPI and UART peripherals.
tock - A secure embedded operating system for microcontrollers
redox - Mirror of https://gitlab.redox-os.org/redox-os/redox
svix-webhooks - The enterprise-ready webhooks service ๐ฆ
rpi4-osdev - Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
win32metadata - Tooling to generate metadata for Win32 APIs in the Windows SDK.
serenity - The Serenity Operating System ๐
interface-types
nebulet - (Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.