#include "user_lib.h" #include "util/types.h" int main(void) { printu(">>> app0 is expected to be executed by hart0\n"); exit(0); }