Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile.check | 1350 | logplain |
-rw-r--r-- | dt_common.c | 1751 | logplain |
d--------- | hello_world | 286 | logplain |
-rwxr-xr-x | make-boot-coverage-report.sh | 933 | logplain |
-rwxr-xr-x | run.sh | 162 | logplain |
-rw-r--r-- | run_boot_test.tcl | 506 | logplain |
-rwxr-xr-x | run_mambo_boot_test.sh | 1446 | logplain |
-rwxr-xr-x | run_qemu-jessie-debian-installer_boot_test.sh | 1677 | logplain |
-rwxr-xr-x | run_qemu_boot_test.sh | 1167 | logplain |
d--------- | sreset_world | 227 | logplain |