search

intermezzOS / kernel

A hobby operating system, in Rust
http://intermezzos.github.io/
Apache License 2.0
1.39k stars 90 forks source link

use lazy_static to make the IDT safer #34

Closed steveklabnik closed 8 years ago

steveklabnik commented 8 years ago

Fixes #32