there's another release of #MirageOS - 3.2.0 -- we broke the API again \o/ (we will likely continue to break it) now, the solo5 backend for modern hypervisors (FreeBSD, OpenBSD, KVM) is named hvt; and our IPv4 layer has access to a RANDOM device (the IPv4 identifier in each packet is generated at random). :D https://discuss.ocaml.org/t/ann-mirage-3-2-0/2613
It can take 10 x Odroid C2 (4x1,6GHz A53 64bit 2GB ram) and 6x Odroid HC1 (4x A15 4x A7 2GB ram and fast sata via usb3, 2,5" HDD/SSD). 1x management Node controlling the relais card and maybe mng VPN or something like this. TTY for recovery will be done "p2p". Both boards can run Linux and a bunch of BSDs and at least the C2 can do KVM and run #MirageOS on it.
somehow I've the feeling that this hobby of mine, to remove unused /unnecessary code in #MirageOS will never be completed... by reading more code, I find more code which could be removed... starting from the other end may work: is no code still a MirageOS? ;P
If your interested, please test and let me know how you go!
so there's now a preliminary release of a noise protocol framework implementation for #OCaml (see https://github.com/emillon/ocaml-noise/) and an announcement at https://discuss.ocaml.org/t/ann-an-implementation-of-the-noise-protocol-framework/2539 -- this means that we may soon get modern crypto protocols (such as wireguard et al) in #MirageOS -- this is great news, everybody! :)
dear protocol people, if you're into protocols and (conformance/regression) testing, did you know about TTCN3? if not, there's a very nice introduction by @LaF0rge at https://media.ccc.de/v/XQKBZG worth watching -- thx to laforge :D #protocols #testing (and in case anyone is interesting in integrating this with #MirageOS, in #OCaml that would be great as well -- there's an upcoming hack retreat where you can still sign up at http://retreat.mirage.io) :D
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!