| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 773 | logplain |
| -rw-r--r-- | Makefile | 631 | logplain |
| -rw-r--r-- | README | 332 | logplain |
| d--------- | include | 288 | logplain |
| d--------- | lib | 64 | logplain |
| d--------- | mainboard / virt / conf | 31 | logplain |
| d--------- | sys | 100 | logplain |
 |
index : sv | |
| a mediocre risc-v supervisor |
| summaryrefslogtreecommitdiff |