Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 3457 | logplain |
-rw-r--r-- | freebsd-rv64.bbl | 24118552 | logplain |
-rw-r--r-- | linux-rv64-64mb.bbl | 9711152 | logplain |
-rw-r--r-- | os-boot-patch.diff | 2480 | logplain |
-rw-r--r-- | rv64-2gb.dts | 1034 | logplain |
-rw-r--r-- | rv64-64mb.dts | 1033 | logplain |
-rw-r--r-- | sel4-rv64.bbl | 9692592 | logplain |