An error occurred while fetching folder content.
Select Git revision
osek-verification
-
-
- Open in your IDE
- Download source code
Name | Last commit | Last update |
---|
This allows the OS to selectively disable individual interrupts instead of the previous all or nothing approach. This is used to enforce the PROMISE=SERIALIZED property on the dosek side.
Name | Last commit | Last update |
---|---|---|