Reynir Björnsson

I will put this on hold. It's challenging to benchmark and I struggle with getting tests running in CI. And this only impacts I/O when there are no incoming packets...

I stumbled upon the new `effect` keyword in CI. Please see the error message below. To me the error message was not very helpful. It was telling me the colon...

So the error suggests there may be an incorrect assumption in ocaml-ci that pin-depends always have a hash after the `#` and doesn't recognize branches.

I looked a bit at the code, and it seems to me there should be no issue to allow more branch names: https://github.com/ocurrent/ocaml-ci/blob/master/lib/pin_depends.ml The "hash" is used in `git show...

The value (or macro really) `VIRTQ_MAX_QUEUE_SIZE` is only used once in an assertion: https://github.com/Solo5/solo5/blob/ff63477507a032583e2e2a91dc93eed5b27103cd/bindings/virtio/virtio_ring.c#L101 So I think this change doesn't affect performance in any way.

I tried to follow the unikraft code to figure out where the value `nr_desc` comes from in that function, but it was a deep rabbit hole of tracing back other...

I added a qcheck test that checks the property `forall w, w' : Wire.t, w = w' Wire.to_string w = Wire.to_string w'`. After pushing I cherry-picked that commit on main...

I did some fixes and now I can compile the following unikernel which gets its ip address **and** its dns servers from DHCP and does a HTTP request. What I...

I changed the default of --dhcp and I added runtime options to the dhcp thing (such as --ipv4, --ipv4-gateway, and the no_init --ipv6-only). I attempted to change the generic_stackv4v6 so...

The first commit I just pushed makes the following changes to the config.ml from before necessary ```diff --- config.ml' 2025-12-05 14:44:30.298736766 +0100 +++ config.ml 2025-12-05 14:43:16.848612714 +0100 @@ -4,9 +4,10...