fix thermo typo

This commit is contained in:
Pika 2018-09-29 18:48:06 -04:00 committed by GitHub
parent ca0e41e8a0
commit c7730d31ff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -141,5 +141,5 @@ void main_el1(void * fdt)
}
// If we've made it here, we failed to boot, and we can't recover.
panic("We should launch Horizon, here!");
panic("We should launch Horizon here!");
}