Gabriel de Perthuis

Results 42 issues of Gabriel de Perthuis

This is another convenient thing to do before going offline; find a way to update most dependencies present in the cargo cache, so that individual projects can then be updated...

Uses the {f} format specifier. Example usage: cargo tree --format '{p} [{f}]'

Without this, some return values from public API cannot be stored in external structs because it is not possible to name the return type.

(I'm trying to figure out a good first issue to expand the ABIs) A watchdog ABI could work like this: - watchdog_setup(tick_interval) - watchdog_alive() An interrupt is programmed for the...

At least JSON and YAML support having multiple objects/documents in a stream, YAML separates them with '---' on a separate line, and JSON (jq for example) with a newline. I...

enhancement

Addresses Solo5#329.

enhancement

[crosvm](https://chromium.googlesource.com/chromiumos/platform/crosvm/) is a qemu alternative with a smaller attack surface, and sometimes better virtio support. To build it, you need either a full [checkout of the chromeos development tree](https://chromium.googlesource.com/chromiumos/docs/+/master/developer_guide.md), or...

enhancement
target/virtio

The idea is to support operations compatible with [mirage-block-unix's discard](https://mirage.github.io/mirage-block-unix/mirage-block-unix/Block/index.html#val-discard): > discard sector n signals that the n sectors starting at sector are no longer needed and the contents may...

enhancement

This is to allow mandating ordering constraints on writes to block devices. Some block devices behave sequentially by default, others don't. A barrier mandates that write calls done before the...

enhancement