Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.md | 2603 | logplain |
-rw-r--r-- | freebsd-rv64.bbl | 24118552 | logplain |
-rw-r--r-- | image-notes.txt | 1457 | 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 |
-rwxr-xr-x | rv64-linux-4.15.0-gcc-7.2.0-64mb.bbl | 10048160 | logplain |
-rw-r--r-- | sel4-rv64.bbl | 9692592 | logplain |