Stayed up later than I wanted working on this one, but it was important for the security, defensibility, and verifiability of the OS.

https://github.com/reeveskeefe/Oreulius-Kernel/releases/tag/v0.1.3-Alpha

#rustlang #osdev #wasm #kernel #unikernel #systems

Release Source release v0.1.3-Alpha · reeveskeefe/Oreulius-Kernel

Source-only release for v0.1.3-Alpha. Binary artifacts and OCI packages are published separately by package.yml. Changelog Oreulius Alpha v0.1.3 Oreulius Alpha v0.1.3 is a deep ABI-hardening and ve...

GitHub
A little dream comes true! We just deployed an #unikernel in #OCaml which is a search engine through the old caml-list: https://caml-list.robur.coop/ :tada:. It's a full operating system which is able to search and serve a little website. It is worth archiving and keeping accessible a whole section of caml’s history.
blame

MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across various cloud computing and mobile platforms.
https://github.com/mirage/mirage

#MirageOS #Unikernel

GitHub - mirage/mirage: MirageOS is a library operating system that constructs unikernels

MirageOS is a library operating system that constructs unikernels - mirage/mirage

GitHub
🌖 GitHub - torokernel/torokernel:Toro Unikernel 核心原始碼專案
➤ 擺脫冗餘:以 Toro Unikernel 重新定義微服務的運行效率
https://github.com/torokernel/torokernel
在雲端運算追求極致效率的趨勢下,Toro Unikernel 展現了一種將應用程式與核心高度整合的革新思維。這款專為微服務設計的專用核心(Dedicated Kernel),捨棄了傳統作業系統的冗餘架構,改採極簡化的 microVM 形式運行。透過 Free Pascal 編寫,Toro 深度整合了 virtio-fs 與 virtio-vsocket 技術,實現了極速啟動與微小的鏡像體積。開發者能藉由 Docker 環境快速建置並部署至 QEMU 或 Firecracker 虛擬化平臺,為高效能雲端原生應用提供了一個兼具安全性與靈活性的底層基礎。
+ 看到有人用 Free Pascal 開發作業系統核心真的很令人驚艷,這對於追求啟動速
##作業系統 #Unikernel #微服務 #FreePascal #虛擬化
GitHub - torokernel/torokernel: This repository contains the source code of toro unikernel

This repository contains the source code of toro unikernel - torokernel/torokernel

GitHub
chroot - fs isolation
systemd nspawn container - namespace isolation
podman - hardware isolation
#Bootc #containers are designed to create bootable images from container inputs, allowing for the deployment and management of entire operating systems using container technology. #QEMU, on the other hand, is a hardware virtualization tool that can run virtual machines, including those created from bootc images, providing a way to emulate different hardware architectures.
#virtualization #isolation #container #cloud #devops #production #infrastructure
what about #incus how is this different?-- correct me if I am wrong
Containers package an application with its dependencies and run on a shared operating system, while #unikernel compile an application with only the necessary OS components, allowing them to run independently and more efficiently, especially in resource-constrained environments.
🌘 StardustOS:打造輕量級 Unikernel 作業系統的函式庫
➤ 探索 StardustOS 的技術細節與實踐
https://github.com/StardustOS
StardustOS 是一個創新的函式庫作業系統,專為建構輕量級 Unikernel 而設計,使其能夠在受保護的單一記憶體空間環境中運行雲端應用程式。它將底層實體資源的管理託管給底層的 Hypervisor,並利用靜態連結技術,將極簡的 Kernel 與單一應用程式及其必要的函式庫和執行時期結合。最終的 StardustOS 產物是一個不可變的、單一用途的虛擬機映像檔。該系統支援多核心、搶佔式執行緒,並提供基本的區塊和網路驅動程式,同時包含一套標準的 POSIX 相容函式庫。StardustOS 目前已應用於英國聖安德魯斯大學的教學與研究活動。
+ 這個 Unikernel 的設計聽起來很令人印象深刻,特別是它如何利用 Hypervisor 來管理資源。靜態連結的作法也很有趣。
+ 對於想要開發高效能、低延遲的雲端應用程式的開發者來說,Sta
#作業系統 #Unikernel #開源 #軟體開發
StardustOS

Stardust is a library operating system for building light-weight Unikernels - StardustOS

GitHub
Writing an operating system kernel from scratch - Uros Popovic

Exploring a minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI.

Uros Popovic
@fabi1cazenave KaiOS being basically a #unikernel on top of Android HAL is not clear to me why it was impossible for KaiOS Tech to push upgrade 2.5 to 3.1. Bad licensing choices?
🌘 Unikernel 指南:建構與部署輕量級、安全應用程式
➤ 打造專屬於您的數位別墅:Unikernel 的革命性應用
https://tallysolutions.com/technology/introduction-to-unikernel-2/
本文深入探討 Unikernel 的概念,闡述其如何透過將應用程式與作業系統緊密結合,打造出輕量、高效且極度安全的專用虛擬機器。作者藉由類比私人別墅的獨立空間,生動解釋了 Unikernel 相較於傳統作業系統的優勢,包括減少資源耗用、縮短啟動時間及降低攻擊面。文中更提及 Nanos 和 Unikraft 兩種主要的 Unikernel 專案,並預告將逐步介紹如何在 AWS 上建置與部署 Nanos unikernel。
+ 讀完這篇文章,對 Unikernel 的概念有了更清晰的理解。原來作業系統不一定要那麼「肥大」,客製化能帶來這麼多好處。
+ 期待後續關於 Nanos 在 AWS 上部署的實作教學,這對於想提升應用程式安全性和效率的開發者來說,絕對
#Unikernel #虛擬化 #應用程式部署 #雲端運算 #資訊安全
Unikernel Guide: Build & Deploy Lightweight, Secure Apps

Learn about unikernels, their advantages, and how to build and deploy lightweight, secure applications with this comprehensive introduction.

Tally Solutions
🌘 Unikernel 指南:建構與部署輕巧、安全的應用程式
➤ 打造專屬的數位「私人別墅」,解鎖極致效能與安全
https://tallysolutions.com/technology/introduction-to-unikernel-2/
本文深入探討 Unikernel 的概念,闡述其如何透過將應用程式與作業系統核心融合成單一的輕量級虛擬機映像檔,來達成更高的效率、速度與安全性。文章比較了 Nanos 和 Unikraft 這兩種主要的 Unikernel 實作,並詳細介紹了建構及部署 Nanos unikernel 的步驟,以 AWS 為例,展示了此技術在現代應用程式開發與部署中的潛力。
+ 原來 Unikernel 是這樣運作的!一直覺得作業系統很佔資源,有這種專門為應用程式量身打造的架構真是太棒了。
+ 部署 Nanos 的步驟寫得很清楚,感覺實際操作起來也不會太複雜。期待未來有更多類似的技術出現。
#Unikernel #虛擬化 #應用程式部署 #雲端運算 #系統最佳化
Unikernel Guide: Build & Deploy Lightweight, Secure Apps

Learn about unikernels, their advantages, and how to build and deploy lightweight, secure applications with this comprehensive introduction.

Tally Solutions