update github CI for autotest
This commit is contained in:
parent
0d9dd75a57
commit
80503e80ee
6 changed files with 115 additions and 55 deletions
|
@ -39,7 +39,7 @@ pub fn console_getchar() -> usize {
|
|||
sbi_call(SBI_CONSOLE_GETCHAR, 0, 0, 0)
|
||||
}
|
||||
|
||||
pub fn shutdown() -> ! {
|
||||
pub fn shutdown(exit_code: usize) -> ! {
|
||||
sbi_call(SBI_SHUTDOWN, 0, 0, 0);
|
||||
panic!("It should shutdown!");
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue