Anil Madhavapeddy
Anil Madhavapeddy
Not implemented yet; I should have stubbed that out with a panel marking it so.
Do you ever need to customise the targets? I.e. do you really want runtest going in polling mode? I was thinking that for polling mode, something incremental could be useful...
I just wanted to bump this, as I don't think it got noticed @rgrinberg. This is actually a big problem with RWO, since we have 1000s of targets in the...
> Seems like we should really only need @all, @runtest, @install or @default per directory Agreed, and one for just the default (is that `@install`?). I'd skip the default per...
Agreed. Note that I want to rename the existing front page to /pkg, and have the option for a front page template that can be hand written to hide the...
I can't repro this either with the small test case, even though there is clearly a symbol clash. ``` $ nm ~/.opam/4.09.1/lib/hacl_x25519/libhacl_x25519_stubs.a |grep Hacl_Hash_Core_SHA2_ 00000000000004c0 T Hacl_Hash_Core_SHA2_finish_512 00000000000002c0 T Hacl_Hash_Core_SHA2_pad_512...
What's confusing me is why the symbols are appearing at link time at all, since hacl-star-raw appears to use ctypes-foreign to dynamically load them.
We do in the current release need special runes to build C bindings with our various unikernels backends. But luckily, as soon as https://github.com/mirage/mirage/pull/1153 is merged, this will happen automatically...