BurritOS/test/riscv_instructions/syscall_tests/halt.c

#include "userlib/syscall.h"

int main() {
    Shutdown();
    return 0;
}