3 ms·
From the project's GitHub repo: This does not mean that the kernel is guaranteed to have zero bugs. There can be bugs in unverified code (e.g., initialization
by darkengine 8y ago
From the project's GitHub repo:
This does not mean that the kernel is guaranteed to have zero bugs. There can be bugs in unverified code (e.g., initialization and glue code), the specification (or things not modeled in the specification), or the verification toolchain including irpy/ and Z3.