update idle kernel

This commit is contained in:
Richard Yan
2025-01-29 17:00:08 -08:00
parent ec41200845
commit d47ef75614
3 changed files with 42 additions and 0 deletions

View File

@@ -53,6 +53,7 @@ void kernel_body(int task_id, kernel_arg_t *__UNIFORM__ arg) {
asm volatile("li x29, 0xa0a0a0a0");
asm volatile("li x30, 0xa0a0a0a0");
asm volatile("li x31, 0xa0a0a0a0");
MARK_BEG();
asm volatile("csrr a0, 0xcc1");
asm volatile("beqz a0, bar");
asm volatile("vx_tmc zero");