Gabriel de Perthuis

I can try to forward your reproducer, but for now I'm still waiting for Bugzilla account approval.

Thanks, glad it got fixed already! I was not able to get a similar minimal reduction for `_mm512_shuffle_ps`. Because clang is a beast to build (the linker runs out of...

First I [cherry-picked](https://github.com/rust-lang/llvm-project/pull/84) the fix for the cvt functions from upstream llvm (and committed the llvm submodule in the rust repo), ran my "build core with instrumentation" test, which proved...

Thanks! Forwarded: https://bugs.llvm.org/show_bug.cgi?id=48322

My preferred API would take an offset and a length, and return a Stream that concatenates to the exact length.

Looking at https://wiki.osdev.org/Timer_Interrupt_Sources , this may be too complex for a first issue. Does Nebulet have some kind of global tick that could be used here?

Looking at irq.rs and the PIT section, that seems like a good place to integrate it.

It would be used to increase reliability of services. A process that opts into it could prevent bugs from making it appear alive when it has hit a bug that...

Wodan would ideally use a much larger IO size of up to 4MiB (the size of a SSD's [erase block](http://codecapsule.com/2014/02/12/coding-for-ssds-part-2-architecture-of-an-ssd-and-benchmarking/)). I'd be fine with wasting any unaligned end to the...

So the virtio image is multiboot-based (multiboot 1), and crosvm hardcodes some offsets based on x86_64 Linux conventions. So either Solo5's loader should match those conventions or crosvm should be...