Mark kmain() as never returning

intermezzOS / kernel

A hobby operating system, in Rust

http://intermezzos.github.io/

Apache License 2.0

1.39k stars 91 forks source link

Mark kmain() as never returning #28

Closed SimonSapin closed 8 years ago

SimonSapin commented 8 years ago

This may help catch the bug you mentioned in https://www.youtube.com/watch?v=iTSx-8qK4Hw where you forgot to include loop { }, so kmain immediately returned to the boot assembly which continued to hlt ; This should never happen.

steveklabnik commented 8 years ago

Thanks so much for this! Great idea.