Skip to content
@foliOS-project

foliOS

An experimental operating system built around the Strata kernel

foliOS

An experimental operating system for AMD64, built around the Strata kernel. Strata keeps ordinary process isolation and adds a tier where signed drivers and services run beside the kernel, so they can skip process-style IPC when the ownership rules allow it.

The project is on hold. Development has moved to Bedrock.

Site · Documentation

Repository Contents
foliOS Strata kernel, Vellum bootloader, documentation and design records
foliSDK Cross toolchain, C runtime, and build pipeline for the foliOS ABI
sidlc Compiler for SIDL, the Strata interface definition language
sma Archiver for signed kernel and user module images
libstrata User-space C library for Strata handles
Strata-sidl, foliOS-sidl SIDL interface definitions for the kernel and system services

Toolchain ports: gcc, binutils, musl, cmake, autoconf, automake, libtool, gnu-config.

Popular repositories Loading

  1. foliOS foliOS Public

    Experimental AMD64 operating system built around the Strata kernel

    C

  2. gcc-strata gcc-strata Public

    GCC with the x86_64-strata-folios and i686-strata-folios targets

    C++

  3. binutils-strata binutils-strata Public

    GNU Binutils with the strata-folios targets

    C

  4. foliSDK foliSDK Public

    Cross toolchain, C runtime, and build pipeline for foliOS

    Python

  5. musl-strata musl-strata Public

    musl libc port for foliOS

    C

  6. cmake-strata cmake-strata Public

    CMake with foliOS platform support

    C

Repositories

Showing 10 of 17 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…