11 lines
237 B
C
11 lines
237 B
C
#include <stdio.h>
|
|
#include <riscv-pk/encoding.h>
|
|
#include "marchid.h"
|
|
|
|
int main(void) {
|
|
uint64_t marchid = read_csr(marchid);
|
|
const char* march = get_march(marchid);
|
|
printf("Hello world from core 0, a %s\n", march);
|
|
return 0;
|
|
}
|