| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 773 | logplain |
| -rw-r--r-- | Makefile | 631 | logplain |
| -rw-r--r-- | README | 333 | logplain |
| -rw-r--r-- | compile_flags.txt | 77 | logplain |
| d--------- | include | 361 | logplain |
| d--------- | lib | 64 | logplain |
| d--------- | mainboard / virt / conf | 31 | logplain |
| d--------- | sys | 130 | logplain |
 |
index : sv | |
| a mediocre risc-v supervisor |
| summaryrefslogtreecommitdiff |