https://github.com/benesch/schedul4

an efficient user-space scheduler for sel4?
https://github.com/benesch/schedul4

Last synced: about 1 month ago
JSON representation

an efficient user-space scheduler for sel4?

• Host: GitHub
• URL: https://github.com/benesch/schedul4
• Owner: benesch
• Created: 2015-04-11T22:31:47.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-05-15T22:35:07.000Z (over 9 years ago)
• Last Synced: 2023-03-22T19:13:15.587Z (over 1 year ago)
• Language: C
• Size: 137 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# schedul4

Default configurations and applications for schedul4.

This is not a standalone repository! [Visit schedul4-manifest for usage

instructions.][schedul4-manifest]

[schedul4-manifest]: http://github.com/benesch/schedul4-manifest