Skip to content
Sentry kernel proof with Frama-C

uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation #477

Sign in to view logs

uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation

uapi: start support for rustic events (DMA, IPC, Signals and IRQ) manipulation #477

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run_framac
7m 25s
7m 25s