hannes @hannesm@mastodon.social

#MirageOS tshirt leaks :D #retreat

#MirageOS file system restructuring through all the layers :D let's break all the APIs #git #OCaml

cloudy #MirageOS #retreat #OCaml nice lunch :D #food

where has all my motivation gone? and how will I manage to pack and get ready for travelling and organising workshop _tomorrow_? .oO(/o\)

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

yay, opam2 was just merged into FreeBSD ports \o/ :D https://svnweb.freebsd.org/changeset/ports/480326 #OCaml #FreeBSD

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

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! :)

end of weekend, I managed to write some code (IPv4 reassembly) https://github.com/mirage/mirage-tcpip/pull/373 #MirageOS #OCaml feedback welcome ;)

managed to remove another >80 lines of code across 5 repositories... I'm the one not appearing in "git blame" since I mainly remove code ;p

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

are you interested in operating system design and implementation? also into functional programming? come join us at our 6th MirageOS retreat early October in Marrakesh. more details including trip reports from earlier retreats at http://retreat.mirage.io pls sign up soon! :) #OCaml #MirageOS