qubes-mirage-firewall
lk
qubes-mirage-firewall | lk | |
---|---|---|
5 | 9 | |
201 | 3,072 | |
0.0% | 1.0% | |
7.2 | 8.6 | |
11 days ago | 7 days ago | |
OCaml | C | |
- | 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.
qubes-mirage-firewall
-
Is running OpenBSD inside a QUBE as a router/firewall an interesting and good idea?
2) https://github.com/mirage/qubes-mirage-firewall is by far a better firewall for Qubes than OpenBSD ever will be - unikernels are far more secure than a traditional operating system is and you can read all about it on https://mirageos.org/
-
the maddening truth of using Qubes
That's correct. It does mean that the closest to a self-contained program you can run is a unikernel like the mirage-firewall, unfortunately. On the upside, those remain easily portable to essentially anything that can run VMs so long as you adjust the image format.
-
I had to relocate CHUNGUS because of the old warehouse I operate it is being torn down.
That sounds similar to a unikernel. There are actual uses for those in seL4 and Qubes OS such as a firewall-qube (in theory unikernel qubes should be able to take far less system resources to run than full Linux+distro qubes).
-
Ask HN: Examples of Microkernels?
Here's one that is "production" ready: the Mirage-Firewall microkernel running on Qubes OS.[0]
[0] : https://github.com/mirage/qubes-mirage-firewall
-
Qubes OS: A reasonably secure operating system
sys-net, sys-firewall and other administrative vms should slowly migrate to unikernels instead of running linux, which should help with ram usage. The mirage.io project seems to build a couple qubes vms, for example https://github.com/mirage/qubes-mirage-firewall is a firewall which they indicate to give 64Mb of ram.
lk
-
Ask HN: Examples of Microkernels?
This is based on little kernel from recollection (noted somewhere in the docs)
https://github.com/littlekernel/lk
- The Little Kernel Embedded Operating System
- LK Embedded Kernel
- PSA: Nu-ti trebuie telefon nou
-
Are there any jobs out there in C++ programming for someone who is primarily a hardware engineer? HFT or any other industry?
I've worked in LK (Little Kernel), which is the basis of the Android and WebOS boot loaders, but is also a reasonable stand-alone operating system, ThreadX, which is a very lightweight RTOS, and one or two others. These were all written in C, but it was also quite a few years ago, so I suspect a good chunk of the industry has moved to C++.
-
Is “make” or “makefile” like a OS?
You might also want to look into LK ("little kernel"). It's the basis for both the Android and WebOS bootloaders, which I've also worked on. It has multi-threading and I/O but doesn't support user processes. Might be good for embedded systems.
- Samsung is now a contributor to Google’s Fuchsia OS
-
Now you can run Unix on the tiny $4 Raspberry Pi Pico
what about LK ?
- How does Redox compare to Fuchsia / Zircon?
What are some alternatives?
miragevpn - An opinionated implementation of the OpenVPN protocol
FUZIX - FuzixOS: Because Small Is Beautiful
qubes-issues - The Qubes OS Project issue tracker
linux - Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
unikraft - FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
lk - LK embedded kernel
unikernels - MirageOS unikernels
opengapps - The main repository of the Open GApps Project
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
prometheus - OCaml library for reporting metrics to a Prometheus server
nixpkgs - Nix Packages collection & NixOS