search

hermit-os / kernel

A Rust-based, lightweight unikernel.
http://hermit-os.org
Apache License 2.0
1.11k stars 83 forks source link

Possible deadlock on 64-bit RISC-V #1286

Open mkroening opened 1 week ago

mkroening commented 1 week ago

This is happening more and more often: https://github.com/hermit-os/kernel/actions/runs/9595606537/attempts/1