Fabian Bonk

Results 9 issues of Fabian Bonk

The `size` parameter to `memory_allocate_dma()` that gets passed to `mmap()` could be less than `MIN_DMA_MEMORY`, yet `vfio_map_dma()` always maps at least `MIN_DMA_MEMORY`. This is currently not an issue because `MIN_DMA_MEMORY`...

`ret` is not read after being set in line 274. The call to `stat` can be inlined and `ret` can be eliminated.

This PR revamps #141 and fixes [all the complaints](https://github.com/schweikert/fping/pull/141#issuecomment-443538202). It adds support for outputting pretty-printed JSON with variable indentation (`--json=n`), outputting compact non-pretty-printed JSON (`--json=0`) and outputting the `--vcount` and...

This is my current working state of PCIe support (#425). The code only builds on x86_64 Linux (need to `#ifdef` everything for other targets) and could still be cleaned up...

**tl;dr: I'll be implementing PCIe and DMA support in hvt and MirageOS and am looking for other people's requirements/suggestions.** I'm about to start my master's thesis at the [Chair of...

design

This is my current working state of PCIe support in MirageOS. Currently PCIe devices are supported on Linux via [`mirage-pci-unix`](https://github.com/Reperator/mirage-pci-unix) and Solo5 (hvt on Linux only) via [`mirage-pci-solo5`](https://github.com/Reperator/mirage-pci-solo5), both through...

This PR adds initial support for the [ixy.ml](https://github.com/ixy-languages/ixy.ml) network driver as a MirageOS network device (aka `mirage-net-ixy`). It adds a new `--ixy` flag that can be selected with `mirage-unix` and...

This PR adds a method to clear all widgets from a `LTerm_widget.box`. Writing `some_box#clear` is easier and faster than writing ``` List.iter some_box#remove some_box#children ``` since the box only needs...

This is my current working state of the necessary modifications for PCIe support on Solo5. It also includes the stubs for [ixy.ml](https://github.com/ixy-languages/ixy.ml), as I couldn't figure out how to link...