Anil Madhavapeddy

Results 80 issues of Anil Madhavapeddy

I'm using Carcass and would like to redistribute my bones (based on a MirageOS layout). Do you have any recommendation for how to hook into `carcass setup` so that my...

Compilation fails with this on OCaml 4.03.0+ due to changes in the parsetree: ``` # File "src/json_types/json_types.ml", line 49, characters 17-30: # Error: The constructor Pstr_type expects 2 argument(s), #...

Right now the `mirage.mli` definitions only cover an HTTP server, but we also support HTTP clients. See mirage/mirage-skeleton#58 for an example of what this should look like. An extract follows:...

new feature
improvement
bitesize

Rather than static linking, we could embed the crunch filesystems in an ELF section. This would: - speed up compilation time by not passing the block device through ocamlopt -...

improvement

Instructions via @jpemartins: > Basically the original netfront just contains feature testing, basically checking for `feature-netmap`: > https://github.com/cnplab/mini-os/blob/master/netfront.c > and bypasses the netfront calls to this file over here (with...

new feature

The openmirage.org site is occasionally rebooting (and coming up again quite fast). Upon inspection, the domain crash looks like this: ``` (XEN) domain_crash_sync called from entry.S (XEN) Domain 793 (vcpu#0)...

bug

- We need one to evaluate all the MirageOS 3 backends and determine if changesets are causing regressions or improvements. - Many parameters to vary: individual library versions, OCaml compiler...

new feature
improvement
task

See - oss-fuzz: https://github.com/google/oss-fuzz - Libfuzzer tutorial: https://github.com/google/fuzzer-test-suite/blob/master/tutorial/libFuzzerTutorial.md - Hosted services, see below for cii-core email > The announcement of a Google program that will provide continuous fuzz testing to...

improvement
Testing

- [x] Create a central list of libraries and changelogs that the `mirage` tool depends on for the supported backends. - [ ] Generate a set of changelogs and release...

docs

We'll need CloudInit support to properly do autoconfiguration on EC2 (and possibly Rackspace/OpenStack). Related to the short-term hack in #228 until we get this integrated into the network stack.

new feature