shibedrill/gila
shibedrill/gila
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects 1 Releases Wiki Activity
A simple OS microkernel written in Rust, and designed for security and modularity.
126 Commits 1 Branch 0 Tags 6.6 MiB
Rust 98.6%
Nix 0.9%
Dockerfile 0.5%
a2eb0c8a25
Go to file
shibedrill a2eb0c8a25
All checks were successful
Continuous Integration / Check (push) Successful in 1m38s
Details
Continuous Integration / Clippy (push) Successful in 54s
Details
Re-add shell.nix
2026-06-01 23:50:05 -04:00
.cargo It boots! 2025-02-10 14:14:17 -05:00
.gitea/workflows Remove unneeded CI jobs 2025-10-10 23:38:31 -04:00
.vscode Replace Makefile 2025-05-07 19:01:21 -04:00
configs Re-add shell.nix 2026-06-01 23:50:05 -04:00
docs Re-add shell.nix 2026-06-01 23:50:05 -04:00
kernel Re-add shell.nix 2026-06-01 23:50:05 -04:00
libgila Re-add shell.nix 2026-06-01 23:50:05 -04:00
.gitignore Replace Makefile 2025-05-07 19:01:21 -04:00
Cargo.lock Convert to workspace 2025-11-13 17:09:20 -05:00
Cargo.toml Convert to workspace 2025-11-13 17:09:20 -05:00
Dockerfile Toolchain file, dockerfile 2025-10-16 17:32:55 -04:00
gila_banner.png Improve securit docs 2025-11-05 23:40:49 -05:00
gila_gilbert.png Update graphic design 2025-10-31 13:07:55 -04:00
LICENSE Relicense to MIT 2025-10-09 13:12:54 -04:00
Makefile.toml Re-add shell.nix 2026-06-01 23:50:05 -04:00
README.md Convert to workspace 2025-11-13 17:09:20 -05:00
rust-toolchain.toml Toolchain file, dockerfile 2025-10-16 17:32:55 -04:00
shell.nix Re-add shell.nix 2026-06-01 23:50:05 -04:00

README.md

Gila v0.3.1 - a Rust Microkernel

An illustrated Gila monster, and the text "Gila: A Minimal Rust Microkernel", superimposed over some serial log output.

Gila is a Rust microkernel OS, inspired by microkernel projects such as seL4, Zircon, and Redox. I aim to implement multitasking, userspace drivers, IPC, and sandboxing. I do not aim to make it POSIX-compatible, but it will likely end up sharing many features with POSIX operating systems. Its design philosophy is focused around simplicity, isolation, modularity, and minimal privilege.

Development

Information on the build system, repo structure, features, configuration options, supported architectures, design philosophies, and more, is available in the docs folder. If you want to build Gila for yourself, consider reading DEVELOPMENT.md for explicit instructions.

Features

Complete

  • Valid Limine kernel
  • Boots on x86_64 (both UEFI and BIOS)
  • Kernel command line parameters
  • initramfs loading
  • Logging
    • Serial output
  • Page table enumeration
  • Processor identification

In-Progress

  • Display console
  • Serial console
  • Paging

Future/Desired

  • Multi-architecture features
  • Userspace binaries/processes
  • Interprocess communication
  • Driver server interface
  • Interrupts and timers
  • Context switching
  • Process scheduling
  • System calls (multi-convention?)
  • Capability access control
  • Simultaneous multiprocessing support
  • Hypervisor functionality

Additional Future Features (Userspace)

  • Device drivers
  • Filesystem drivers
  • Shell
  • Standard system API
  • Rust and C stdlib port
  • Display/windowing
  • Application sandboxing

Licensing

Licensed under the MIT License. See LICENSE for details.

Credits

  • The linker script stuff is from limine-rust-template, which is available under the BSD 0-Clause License.
  • The Gila kernel mascot, Gilbert (prounounced "Hilbert"), was illustrated by @lilu-the-almighty on Tumblr.