winix
NeptuneOS
Our great sponsors
| winix | NeptuneOS | |
|---|---|---|
| 12 | 4 | |
| 935 | 329 | |
| - | - | |
| 5.2 | 8.6 | |
| 12 days ago | 4 days ago | |
| C | C | |
| GNU General Public License v3.0 only | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
winix
-
Hacker News top posts: Jun 27, 2021
I spent 5 years writing my own operating system\ (116 comments)
-
I spent 5 years writing my own operating system.
Project link: https://github.com/halfer53/winix
-
I spent 5 years writing my own operating system
It's certainly plausible
It's currently using wcc to compile the kernel https://github.com/wandwramp/wcc. We can swap it with gcc for sure, but require a lot of work, especially the output format and backend.
Winix uses a simple header for binaries, https://github.com/halfer53/winix/blob/master/include/winix/..., so we would need to tweak gcc to support this header format and =add backend support for WRAMP architecture.
ELF is quite complicated, if I have to do this, I probably just copy some codes to linux.
- Show HN: Winix, writing my own operating system
NeptuneOS
-
Neptune OS: a WinNT personality of the seL4 microkernel
Probably posted because 0.1.0001 was just [0] released 9 hours ago:
> Basic keyboard stack and a command line shell. All drivers run in the user space. Pretty much none of the commands actually work because we haven't implemented many things, but the keyboard stack works reasonably well. We also included a beep driver to make an annoying sound on the PC speaker.
[0]: https://github.com/cl91/NeptuneOS/releases/tag/v0.1.0001
-
Hacker News top posts: Feb 23, 2022
Neptune OS: a WinNT personality of the seL4 microkernel\ (14 comments)
What are some alternatives?
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
seL4 - The seL4 microkernel
Melang - A script language of time-sharing scheduling coroutine in single thread
illumos-gate - An open-source Unix operating system
ZenithOS - The Zenith Operating System is a modernized, professional fork of the 64-bit Temple Operating System.
reactos - A free Windows-compatible Operating System
CompCert - The CompCert formally-verified C compiler
toaruos - A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
kernel_xiaomi_raphael - // CAFest Kernel for XiaoMi SM8150 devices (raphael)(cepheus) Updated to CAF tag LA.UM.9.1.r1-10900.02-SMxxx0.QSSI12.0 with android-4.14-stable merged
hidamari - Video wallpaper for Linux. Written in Python. 🐍
docs
Understanding-Unix-Linux-Programming - Source code of Understanding Unix/Linux Programming. The book provides example code in C, I would like to replicate it in Rust.