Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • wip/graph-iso
  • ip-save-debugging
3 results

osek-verification

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Hans-Peter Deifel authored
    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.
    a9633e87
    History
    Name Last commit Last update