diff --git a/README.md b/README.md index b4db9f8..39daf7c 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,9 @@ # Gila v0.3.1 - a Rust Microkernel -![An illustrated Gila monster.](gila_gilbert.png) +![An illustrated Gila monster, and the text "Gila: A Minimal Rust Microkernel", superimposed over some serial log output.](gila_banner.png) Gila is a Rust microkernel OS, inspired by microkernel projects such as seL4 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. -![A screenshot of serial console output from Gila's boot process.](gila_serial.png) - ## Development Information on the build system, repo structure, features, configuration options, supported architectures, design philosophies, and more, is available in the [docs](docs/) folder. If you want to build Gila for yourself, consider reading [DEVELOPMENT.md](docs/DEVELOPMENT.MD) for explicit instructions. @@ -63,4 +61,4 @@ Licensed under the MIT License. See [LICENSE](LICENSE) for details. - The linker script stuff is from [limine-rust-template](https://github.com/jasondyoungberg/limine-rust-template), which is available under the BSD 0-Clause License. -- The Gila kernel mascot, Gilbert, was illustrated by LiluTheAlmighty on Tumblr. +- The Gila kernel mascot, Gilbert (prounounced "Hilbert"), was illustrated by LiluTheAlmighty on Tumblr. diff --git a/gila_banner.png b/gila_banner.png new file mode 100644 index 0000000..1869d45 Binary files /dev/null and b/gila_banner.png differ diff --git a/gila_gilbert.png b/gila_gilbert.png index 983bbe3..d031f22 100644 Binary files a/gila_gilbert.png and b/gila_gilbert.png differ diff --git a/gila_serial.png b/gila_serial.png deleted file mode 100644 index c5c7a76..0000000 Binary files a/gila_serial.png and /dev/null differ