rust-raspberrypi-OS-tutorials VS Theseus

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.

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

I believe it already exists: https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials

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...

The Rust Book OSDev Wiki Raspberry Pi Embedded Rust tutorials

The Rust Embedded workgroup has an OS tutorial for Raspberry Pi.

you'll find many fewer resources than for x86, so if you want to do this, you'll have to get used to reading technical reference manuals and device specifications. that said, i can recommend either https://github.com/rust-embedded/rust-raspberrypi-OS-tutorials (rust) or https://github.com/bztsrc/raspi3-tutorial (c). because the wealth of information is about the raspberry pi, and because they're so cheap, you honestly might be best suited starting on an rpi4 and then eventually moving to a rockpro or similar when you want to do graphics-ey stuff. unlike the rpi3, the rpi4 has the same interrupt controller as you'll find on the rockpro and just about every other arm machine, the gic3.

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.

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.

We could use some help here: https://github.com/theseus-os/Theseus

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.

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

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.

Not to rain on your parade, but you've essentially just described Theseus OS.

Operating System: Theseus, Redox

Erlang is a bytecode VM, so "compiled" for sure, and is pretty much the pioneer of hot reloading.

Plenty of Lisps and Schemes are compiled (though often to bytecode) and can typically dynamically replace parts of the program.

I think ability to hot upgrade seamlessly more a statement of "how much of the data structure shape is carried at runtime" / "how likely it is old and new API data structures happen to interoperate", and how likely it is that one can convert old runtime state to new runtime state. And that one can be seen as a trade-off; close to the metal control over memory layout is a performance gain, but in practice trades off this kind of flexibility (in theory you could make it work, but it's probably a lot of work).

https://www.theseus-os.com/ is an experimental kernel that can restart/reload/upgrade Rust components at ELF library boundaries. (State internal to a component has to be discarded unless you program a converter. Then again most JS web development hot reload discards internal state of a component.)

DESCRIPTION: As an OS developer, you will independently lead a major open-source development project within Theseus OS.Theseus OS is a novel operating system written from scratch entirely in Rust, with the objective of realizing next-generation safety and efficiency guarantees for workloads in a variety of execution environments. Theseus's goals span the gamut from supporting cutting-edge exploratory research topics to more practical concerns of achieving legacy compatibility and usability.Lately, our focus is on deep support for WebAssembly (WASM) interfaces and runtimes, universal cross-platform device drivers, and porting Theseus to additional architectures (e.g., ARM, RISC-V).