Theseus
xlang
Theseus | xlang | |
---|---|---|
32 | 4 | |
2,735 | 686 | |
0.7% | - | |
8.8 | 6.0 | |
4 months ago | about 3 years 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.
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.
xlang
-
MSFT is forcing Outlook and Teams to open links in Edge and IT admins are angry
The example is not .NET in general, but that specific event when Microsoft reneged on open development tooling[1]. For some people, that was the moment they stopped trusting "new Microsoft" to keep their word (though for me, it was when the Python language server was replaced with a DRM-locked, LSP-noncompliant one[2] a bit before that; unlike .NET hot reload, they didn't backtrack there). I can think the company makes great open .NET tools and at the same time not trust them to close it down on a whim.
Does anyone know where the open xlang reimplementation of MIDL went[3], by the way? (Unlike 1990s MIDL, you can't reimplement this one from the language grammar in the docs, because there is no language grammar in the docs.)
[1] https://dusted.codes/can-we-trust-microsoft-with-open-source and links there
[2] https://github.com/microsoft/pylance-release/issues
[3] https://github.com/microsoft/xlang/pull/529
-
The unintended consequences of Windows+V
For my fellow python guys: first off, install winrt, and as per this issue, remove the initapartment call in winrt/init_.py. Then something like:
- How is Redox OS (and similar projects) planning to deal with the lack of dynamic linking support?
- Anyone thinking of using microsoft/xlang to improve Python automation on Windows? Made me think of Ansible among other things.
What are some alternatives?
rust-raspberrypi-OS-tutorials - :books: Learn to write an embedded OS in Rust :crab:
win32metadata - Tooling to generate metadata for Win32 APIs in the Windows SDK.
nomicon - The Dark Arts of Advanced and Unsafe Rust Programming
windows-rs - Rust for Windows
tock - A secure embedded operating system for microcontrollers
ReadCrd - Linux/Windows console application prints a Microsoft CRD files (Windows Card, a personal information manager, contact list).
svix-webhooks - The enterprise-ready webhooks service 🦀
awesome-windows-privacy - A list of awesome tools, documentation and scripts for better privacy on Microsoft Windows
interface-types
nebulet - (Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
How-to-Make-a-Computer-Operating-System - How to Make a Computer Operating System in C++