SaturnIX

SaturnIX (/'sætərniks/), is the name of a micro-kernel operating system that this projet is going to implement, started in 2019 as personal hobby. Hopefully it will become a useable and stable general-purpose operating system one day. Contributions are welcome! :)
External Link for Saturn IX, an irregular satellite of Saturn:
https://www.wikipedia.org/w/index.php?title=Saturn_IX

Licence

New codes of SaturnIX is licensed to the public under the terms of the GNU General Public License, version 3. Since the SaturnIX repository may contian codes and files from other projects, please refer to those projects or see the individual file headers for details.

Goals

Functional for test:

• run in QEMU (added 2019)
• run in VirtualBox (added 2019)

Self-standing and toolchain:

• compiler Clang/GCC (added 2019)
• standard C library (C11, ISO/IEC 9899:2011) (added 2019)
• Rust/Cargo (added 2019)

Compliance with standards:

• compliance with Linux standard (Linux Standard Base) (LSB 5.0, released 3. June 2015) (added 2019)
• compliance with POSIX (POSIX.1-2017) (IEEE Std 1003.1-2017), and the Single UNIX Specification (SUSv4-2018) (added 2019)
• intepreter for Android Apps (added 2019)
• binary compatible with Windows 10 LTSC 2019 (added 2019)

Support for architectures:

• RISC-V (32/64) (added 2019)
• ARM (added 2019)
• x86 (32/64) (added 2019)

Ultimate security:

• formal verification if possiable (added 2019)
• memory address randomlization(added 2019)
• port advanced cryptography from OpenBSD (added 2019)

Kernel:

• seL4 10.1.1 (preferred 2020)
• seL4 (added 2019)
• rux (added 2019)

Drivers:

• NetBSD Rump kernel drivers (added 2019)
• Linux drivers (port or run Linux kernel as server) (added 2019)

Package Manager

• nix (added 2020)
• dpkg, rpm... (added 2020)

User Interface:

• command line console, Unicode (ISO/IEC 10646) (UTF-8) (added 2019)
• GUI (gtk3+) (LSB) (GNOME3, KDE/PLASMA) (added 2019)

Applications:

• Bash 5.0 (added 2019)
• Vim (added 2019)
• SSH OpenBSD Secure Shell (added 2019)
• nano 5.0 (4.9)(added 2020)
• Inkscape 1.0 (added 2020)
• GIMP 2.10 (added 2020)