r/osdev • u/pax-zpax • 4h ago
Gill or Gill/SeL4
Project github link: https://github.com/superuserdo-sudo/Gill
hello everyone i did make an project named Gill on github that is not a unix based or linux based it is an OS based on SeL4 MicroKernel [ https://sel4.systems/ ] and have it own tools and core utilites (GCU/Gill Core Utilites) and its own file system (GillFS) wich is not done [ https://github.com/superuserdo-sudo/Gill/tree/main/gillfs ] and and its name means : gill is light a lot or Just Gill.
its Philosophy:
Gill is based on the idea that an operating system does not need to become unnecessarily large or complex to be useful. The project focuses on building a small foundation and developing functionality as separate, focused components.
Gill values:
- Lightweight design
- Minimal code
- Modularity
- Simplicity
- Independence
- Clear interfaces
- Maintainability
- Practical functionality
Gill does not add functionality simply because another operating system has it.
A component should have a clear purpose and should remain as simple as reasonably possible while still being functional and maintainable.
GCU
GCU stands for Gill Core Utilities.
GCU is part of Gill/SeL4 and provides fundamental utilities for the Gill environment.
GCU follows the same philosophy as Gill:
- Small programs
- Focused functionality
- Minimal unnecessary code
- Simple interfaces
- Independent implementations
GCU is not simply a collection of renamed Unix commands.
Its utilities are independently developed programs intended for the Gill environment.
Examples include:
see
mdir
punch
cop
rom
wai
type
wami
wimarch
wimh
mos
wimt
idme
grps
mmsleep
tmo