search

gsilvis / silvos

half-baked Silvis OS kernel
MIT License
4 stars 2 forks source link

Make non-syscall ISRs not callable from userland. #65

Closed gsilvis closed 7 years ago