rand00

So you prefer a single kind of use to be very easy (strict path containment), and other kinds of use to be more involved. I can see the point in...

I also see your frankenfunction point, though I feel like each of our points have their value depending on which angle you look from. My initial focus was on what...

Okay I'm convinved. So the primary problem is that the semantics of `is_prefix` can't be changed

And then also a `find_strict_prefix`?

The problem with `is_strict_...` is that user can't find the function via merlin autocomplete

```ocaml λ » Fpath.(find_prefix (v "/home") (v "/home") ) ;; - : Fpath.t option = Some /home ``` .. so is not a strict prefix found

.. and if callbacks are concurrent, it can lead to memory-leak, as packets can get received faster than callbacks finish up.

But I guess that user wants to run stuff within the callback in the Lwt monad? How else would one communicate nicely with the rest of the Lwt code? If...

> Just to understand you, you meant the semantics as observed in the Unix stack? I.e. the callback is executed completely before any new UDP packet is received and processed?...

@AryanGodara : There is a strong emphasis on correctness and safety in MirageOS, this is both in terms of the separation of the unikernel from the OS and other applications,...