mirage
gopher-os
Our great sponsors
mirage | gopher-os | |
---|---|---|
32 | 6 | |
2,425 | 2,512 | |
0.8% | 0.0% | |
8.7 | 0.0 | |
8 days ago | over 3 years ago | |
OCaml | Go | |
ISC License | MIT License |
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.
mirage
-
Gokrazy – Go Appliances
Interesting, and thanks.
I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.
- Mirage – A programming framework for building type-safe, modular systems
-
What's Zig got that C, Rust and Go don't have? [video]
Unix system programming in OCaml (2014)
https://ocaml.github.io/ocamlunix/
"MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms."
-
PostgreSQL reconsiders its process-based model
That was/is part of the promise of the whole unikernel thing, no?
https://mirage.io/ or similar could then let you boot your database. That said, it's not really taken off from what I can tell, so I'm guessing there's more to it than that.
-
Writing an OS in Rust to run on RISC-V
MirageOS is not Rust, but in the ballpark!
-
Container runtime as a static binary?
OCaml MirageOS? https://mirage.io/
- OCaml 5.0 Multicore is out
- Ask HN: Operating Systems built with functional languages?
-
Is there an operating systems that is a runtime of a programming language?
MirageOS is a runtime for OCaml to create unikernels. They describe themselves as "library operating system". Probably not quite what you were asking for, but I think it's quite interesting for certain use cases (e.g. running services as standalone unikernels in VMs or embedded devices instead of "traditional" programs on top of a general purpose OS).
gopher-os
-
If I know neither Go or Rust, which do I choose to learn first/only?
But there are other brave people exists like biscuit or gopher-os who can do it :)))
-
Can Go be used for kernel development?
Can it? Yes. Should it? Now that’s up for debate.
-
The one and only..
golang? https://github.com/gopher-os/gopher-os
-
random question from a beginner, has anyone written an OS in Go?
I'm sure it would be a fun proof of concept, and there seem to be some projects like https://github.com/gopher-os/gopher-os , but they themselves admit it's just a proof of concept. Every tool has its use.
-
Go is a nice improvement over C and C++, and it doesn't make me feel dirty like Java does.
I’m pretty the C in the the OS is just the libc that is used for user programs and not part of the actual kernel. There is also gopherOS which contains no C at all. My only point was that it is possible to write one in Go and that Go can be used for low level coding. And I don’t believe you can write an OS in pure python bc it isn’t compiled
-
Wow that feels real good
Wait. You're not who we asked for
What are some alternatives?
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
serenity - The Serenity Operating System 🐞
Carp - A statically typed lisp, without a GC, for real-time applications.
eggos - A Go unikernel running on x86 bare metal
oberon-riscv - Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.
router7 - router7 is a small home internet router completely written in Go. It is implemented as a gokrazy appliance.
linuxkit - A toolkit for building secure, portable and lean operating systems for containers
Cosmos - Cosmos is an operating system "construction kit". Build your own OS using managed languages such as C#, VB.NET, and more!
Mezzano - An operating system written in Common Lisp
Harbol - Harbol is a collection of data structures and miscellaneous libraries, similar in nature to C++'s Boost, STL, and GNOME's GLib; it is meant to be a smaller and more lightweight collection of data structures, code systems, and convenience software.
tracing - Application level tracing for Rust.
LLVMSharp - LLVM bindings for .NET Standard written in C# using ClangSharp