FrySco19/VelaOS

An AI-native, zero-trust edge OS on seL4. 100% Rust, fuel-constrained WASM execution, and strictly human-in-the-loop cryptographic authority.

Python

3

4 commits

updated Oct 14, 2026

See the code

See what people are saying

SourceMessageScoreDate

VelaOS: I’m building a Linux operating system with integrated AI (r/coolgithubprojects)

Hi everyone, I’m working on **VelaOS**, an operating system based on Debian and KDE Plasma, with a custom visual identity and AI tools integrated into the desktop. The goal is to make the assistant useful for everyday tasks: finding files, explaining errors, and proposing actions—with a clear…

0

Oct 9, 2026

README

VelaOS — Un desktop aperto, un progetto da costruire insieme

Download · Compilare · Contribuire · Community · Roadmap

VelaOS

Source checks

VelaOS è un progetto aperto di sistema operativo per desktop, basato su Debian 13 e KDE Plasma 6. Riunisce un ambiente grafico coerente, impostazioni native, applicazioni, un terminale con esecuzione confermata e un assistente configurabile.

Stato: preview di sviluppo. Il desktop si avvia in VirtualBox e i componenti Vela sono integrati. Installazione su disco, compatibilità hardware estesa e inferenza con un modello reale richiedono ancora collaudo. Non è una versione stabile per sostituire il sistema principale.

English: An open desktop OS project built on Debian 13 and KDE Plasma 6. Native desktop integration, settings, applications and an optional configurable assistant. Development preview; real hardware, disk installation and real-model inference are not yet validated. Contributions in Italian and English are welcome.

Schermata reale del benvenuto VelaOS in VirtualBox

Dentro VelaOS

AreaComponenti inclusi
ScrivaniaPlasma Wayland, barra superiore, dock, tema chiaro/scuro, icone e sfondi Vela
ImpostazioniModuli nativi per assistente, privacy, aspetto e aggiornamenti
ApplicazioniDiscover/Flathub, Firefox ESR, strumenti per documenti e contenuti multimediali
TerminaleKonsole/fish e terminale Vela con PTY reale, anteprima e conferma dei comandi
AssistentePannello nativo, configurazione condivisa, integrazione browser e strumenti locali
Primo avvioBenvenuto, guida, suggerimenti e scorciatoie
SviluppoSorgenti, script ISO, strumenti VM, test e generatori delle risorse grafiche

L'assistente è opzionale. Il motore e il modello non sono preinstallati: la configurazione locale prevista usa Ollama; è disponibile anche una connessione online compatibile con OpenAI, su scelta dell'utente. Le prove con server simulato verificano i protocolli, non la qualità o la velocità di un modello reale.

Schermate reali

Impostazioni e privacyApplicazioni e terminale
Impostazioni assistente, tema scuroCatalogo Discover caricato
Pagina privacyAssistente e terminale aperti

Le immagini provengono dalla VM di collaudo. Non sono mockup. Altre schermate e contesto.

Come è costruito

flowchart TB
  Debian[Debian 13 amd64] --> Plasma[KDE Plasma 6 / Wayland]
  Plasma --> Desktop[Tema, dock e scrivania]
  Plasma --> Settings[Impostazioni native]
  Plasma --> Apps[Discover, browser e applicazioni]
  Plasma --> Welcome[Benvenuto e guida]
  Settings --> Config[Configurazione condivisa]
  Config --> Assistant[Assistente opzionale]
  Config --> Terminal[Terminale Vela]
  Assistant --> Confirm[Anteprima e conferma]
  Terminal --> Confirm
  Confirm --> Executor[Esecutore locale]

Architettura e struttura dei sorgenti.

Provarlo

Scarica ISO e checksum dalla sezione Releases. La preview pubblica disabilita l'accesso SSH di sviluppo e non contiene chiavi di accesso predisposte.

Per VirtualBox su Windows, scarica anche Start-VM-Vela2.ps1 e avvialo nella cartella della ISO:

.\Start-VM-Vela2.ps1 -Iso ".\VelaOS-2.0-preview-public.iso" -MemoryMB 8192

Leggi la guida VirtualBox prima di procedere. Per ricompilare da Debian 13, segui BUILD.md. Le ISO sono asset delle release; non vengono salvate nella cronologia Git.

Cosa è verificato e cosa manca

Avvio al desktop in VirtualBox, primo benvenuto, quattro pagine delle impostazioni, cambio tema, catalogo Store, ridimensionamento e protocollo dell'esecutore sono stati controllati. Sono disponibili 401 test terminale passati (4 saltati), 52 test assistente e 13 controlli browser, con i limiti descritti nel resoconto delle verifiche.

Restano da completare inferenza reale, installer e ripristino, prove su hardware fisico, accessibilità, aggiornamenti affidabili e misurazioni delle prestazioni. Vedi problemi noti e roadmap.

Costruiamolo insieme

Sono utili contributi a codice, design, traduzioni, accessibilità, documentazione e collaudo. Apri una Issue, partecipa alle Discussions o proponi una pull request. Parti dalla guida ai contributi e dalle attività good first issue / help wanted.

Licenze

Il codice originale VelaOS 2 senza una licenza specifica nel file è distribuito sotto GPL-3.0-or-later; risorse e componenti con licenze proprie conservano tali licenze. Il prototipo storico e la sua presentazione in archive/ conservano MIT. Debian, KDE, applicazioni, font e firmware mantengono le rispettive condizioni: LICENSE, LICENSES, THIRD_PARTY.md.

ai-native
biscuit-auth
iceoryx2
linux
local-first
open-source
operating-system
rust
wasmtime

FrySco19/VelaOS

An AI-native, zero-trust edge OS on seL4. 100% Rust, fuel-constrained WASM execution, and strictly human-in-the-loop cryptographic authority.

Python

3

4 commits

updated Oct 14, 2026

See the code

See what people are saying

SourceMessageScoreDate

VelaOS: I’m building a Linux operating system with integrated AI (r/coolgithubprojects)

Hi everyone, I’m working on **VelaOS**, an operating system based on Debian and KDE Plasma, with a custom visual identity and AI tools integrated into the desktop. The goal is to make the assistant useful for everyday tasks: finding files, explaining errors, and proposing actions—with a clear…

0

Oct 9, 2026

README

VelaOS — Un desktop aperto, un progetto da costruire insieme

Download · Compilare · Contribuire · Community · Roadmap

VelaOS

Source checks

VelaOS è un progetto aperto di sistema operativo per desktop, basato su Debian 13 e KDE Plasma 6. Riunisce un ambiente grafico coerente, impostazioni native, applicazioni, un terminale con esecuzione confermata e un assistente configurabile.

Stato: preview di sviluppo. Il desktop si avvia in VirtualBox e i componenti Vela sono integrati. Installazione su disco, compatibilità hardware estesa e inferenza con un modello reale richiedono ancora collaudo. Non è una versione stabile per sostituire il sistema principale.

English: An open desktop OS project built on Debian 13 and KDE Plasma 6. Native desktop integration, settings, applications and an optional configurable assistant. Development preview; real hardware, disk installation and real-model inference are not yet validated. Contributions in Italian and English are welcome.

Schermata reale del benvenuto VelaOS in VirtualBox

Dentro VelaOS

AreaComponenti inclusi
ScrivaniaPlasma Wayland, barra superiore, dock, tema chiaro/scuro, icone e sfondi Vela
ImpostazioniModuli nativi per assistente, privacy, aspetto e aggiornamenti
ApplicazioniDiscover/Flathub, Firefox ESR, strumenti per documenti e contenuti multimediali
TerminaleKonsole/fish e terminale Vela con PTY reale, anteprima e conferma dei comandi
AssistentePannello nativo, configurazione condivisa, integrazione browser e strumenti locali
Primo avvioBenvenuto, guida, suggerimenti e scorciatoie
SviluppoSorgenti, script ISO, strumenti VM, test e generatori delle risorse grafiche

L'assistente è opzionale. Il motore e il modello non sono preinstallati: la configurazione locale prevista usa Ollama; è disponibile anche una connessione online compatibile con OpenAI, su scelta dell'utente. Le prove con server simulato verificano i protocolli, non la qualità o la velocità di un modello reale.

Schermate reali

Impostazioni e privacyApplicazioni e terminale
Impostazioni assistente, tema scuroCatalogo Discover caricato
Pagina privacyAssistente e terminale aperti

Le immagini provengono dalla VM di collaudo. Non sono mockup. Altre schermate e contesto.

Come è costruito

flowchart TB
  Debian[Debian 13 amd64] --> Plasma[KDE Plasma 6 / Wayland]
  Plasma --> Desktop[Tema, dock e scrivania]
  Plasma --> Settings[Impostazioni native]
  Plasma --> Apps[Discover, browser e applicazioni]
  Plasma --> Welcome[Benvenuto e guida]
  Settings --> Config[Configurazione condivisa]
  Config --> Assistant[Assistente opzionale]
  Config --> Terminal[Terminale Vela]
  Assistant --> Confirm[Anteprima e conferma]
  Terminal --> Confirm
  Confirm --> Executor[Esecutore locale]

Architettura e struttura dei sorgenti.

Provarlo

Scarica ISO e checksum dalla sezione Releases. La preview pubblica disabilita l'accesso SSH di sviluppo e non contiene chiavi di accesso predisposte.

Per VirtualBox su Windows, scarica anche Start-VM-Vela2.ps1 e avvialo nella cartella della ISO:

.\Start-VM-Vela2.ps1 -Iso ".\VelaOS-2.0-preview-public.iso" -MemoryMB 8192

Leggi la guida VirtualBox prima di procedere. Per ricompilare da Debian 13, segui BUILD.md. Le ISO sono asset delle release; non vengono salvate nella cronologia Git.

Cosa è verificato e cosa manca

Avvio al desktop in VirtualBox, primo benvenuto, quattro pagine delle impostazioni, cambio tema, catalogo Store, ridimensionamento e protocollo dell'esecutore sono stati controllati. Sono disponibili 401 test terminale passati (4 saltati), 52 test assistente e 13 controlli browser, con i limiti descritti nel resoconto delle verifiche.

Restano da completare inferenza reale, installer e ripristino, prove su hardware fisico, accessibilità, aggiornamenti affidabili e misurazioni delle prestazioni. Vedi problemi noti e roadmap.

Costruiamolo insieme

Sono utili contributi a codice, design, traduzioni, accessibilità, documentazione e collaudo. Apri una Issue, partecipa alle Discussions o proponi una pull request. Parti dalla guida ai contributi e dalle attività good first issue / help wanted.

Licenze

Il codice originale VelaOS 2 senza una licenza specifica nel file è distribuito sotto GPL-3.0-or-later; risorse e componenti con licenze proprie conservano tali licenze. Il prototipo storico e la sua presentazione in archive/ conservano MIT. Debian, KDE, applicazioni, font e firmware mantengono le rispettive condizioni: LICENSE, LICENSES, THIRD_PARTY.md.

ai-native
biscuit-auth
iceoryx2
linux
local-first
open-source
operating-system
rust
wasmtime