search

intermezzOS / kernel

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

Ensure the kernel builds #37

Closed steveklabnik closed 8 years ago

steveklabnik commented 8 years ago

For CI purposes.