diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/cheri/cheribsd-cheri-sim-mdroot-smoketest-kernel.bz2 | bin | 0 -> 12294662 bytes | |||
| -rw-r--r-- | test/cheri/freebsd-beri-sim-mdroot-smoketest_bootonly-kernel.bz2 | bin | 0 -> 10633892 bytes | |||
| -rwxr-xr-x | test/cheri/run_tests.sh | 11 | ||||
| -rw-r--r-- | test/cheri/sim.dtb | bin | 0 -> 1449 bytes | |||
| -rw-r--r-- | test/cheri/simboot_128m.sailbin | 1794 |
5 files changed, 1805 insertions, 0 deletions
diff --git a/test/cheri/cheribsd-cheri-sim-mdroot-smoketest-kernel.bz2 b/test/cheri/cheribsd-cheri-sim-mdroot-smoketest-kernel.bz2 Binary files differnew file mode 100644 index 00000000..61954cd3 --- /dev/null +++ b/test/cheri/cheribsd-cheri-sim-mdroot-smoketest-kernel.bz2 diff --git a/test/cheri/freebsd-beri-sim-mdroot-smoketest_bootonly-kernel.bz2 b/test/cheri/freebsd-beri-sim-mdroot-smoketest_bootonly-kernel.bz2 Binary files differnew file mode 100644 index 00000000..33794547 --- /dev/null +++ b/test/cheri/freebsd-beri-sim-mdroot-smoketest_bootonly-kernel.bz2 diff --git a/test/cheri/run_tests.sh b/test/cheri/run_tests.sh index 4e1550f4..848a07e2 100755 --- a/test/cheri/run_tests.sh +++ b/test/cheri/run_tests.sh @@ -65,6 +65,17 @@ else red "Building MIPS_C specification" "fail" fi +printf "Booting FreeBSD-MIPS...\n" + +bunzip2 freebsd-beri-sim-mdroot-smoketest_bootonly-kernel.bz2 +time $SAILDIR/mips/mips_c --cyclelimit 85000000 --binary 0x100000,freebsd-beri-sim-mdroot-smoketest_bootonly-kernel --binary 0x7f010000,sim.dtb --image simboot_128m.sailbin > freebsd_out.txt +if grep -q 'Done booting' freebsd_out.txt; +then + green "Booting FreeBSD MIPS" "ok" +else + red "Booting FreeBSD MIPS" "fail" +fi + printf "Building CHERI 256 specification...\n" if make -C $SAILDIR/cheri cheri ; diff --git a/test/cheri/sim.dtb b/test/cheri/sim.dtb Binary files differnew file mode 100644 index 00000000..2561f997 --- /dev/null +++ b/test/cheri/sim.dtb diff --git a/test/cheri/simboot_128m.sailbin b/test/cheri/simboot_128m.sailbin new file mode 100644 index 00000000..bd6f5c28 --- /dev/null +++ b/test/cheri/simboot_128m.sailbin @@ -0,0 +1,1794 @@ +1073741824 +60 +1073741825 +30 +1073741826 +0 +1073741827 +0 +1073741828 +103 +1073741829 +222 +1073741830 +0 +1073741831 +0 +1073741832 +0 +1073741833 +30 +1073741834 +244 +1073741835 +56 +1073741836 +103 +1073741837 +222 +1073741838 +135 +1073741839 +240 +1073741840 +0 +1073741841 +30 +1073741842 +244 +1073741843 +56 +1073741844 +103 +1073741845 +222 +1073741846 +252 +1073741847 +0 +1073741848 +60 +1073741849 +29 +1073741850 +0 +1073741851 +0 +1073741852 +103 +1073741853 +189 +1073741854 +0 +1073741855 +0 +1073741856 +0 +1073741857 +29 +1073741858 +236 +1073741859 +56 +1073741860 +103 +1073741861 +189 +1073741862 +135 +1073741863 +240 +1073741864 +0 +1073741865 +29 +1073741866 +236 +1073741867 +56 +1073741868 +103 +1073741869 +189 +1073741870 +252 +1073741871 +0 +1073741872 +103 +1073741873 +189 +1073741874 +255 +1073741875 +224 +1073741876 +64 +1073741877 +1 +1073741878 +96 +1073741879 +0 +1073741880 +52 +1073741881 +33 +1073741882 +0 +1073741883 +224 +1073741884 +64 +1073741885 +129 +1073741886 +96 +1073741887 +0 +1073741888 +64 +1073741889 +12 +1073741890 +128 +1073741891 +0 +1073741892 +53 +1073741893 +140 +1073741894 +0 +1073741895 +7 +1073741896 +57 +1073741897 +140 +1073741898 +0 +1073741899 +5 +1073741900 +64 +1073741901 +140 +1073741902 +128 +1073741903 +0 +1073741904 +60 +1073741905 +12 +1073741906 +144 +1073741907 +0 +1073741908 +101 +1073741909 +140 +1073741910 +0 +1073741911 +0 +1073741912 +0 +1073741913 +12 +1073741914 +100 +1073741915 +56 +1073741916 +101 +1073741917 +140 +1073741918 +64 +1073741919 +0 +1073741920 +0 +1073741921 +12 +1073741922 +100 +1073741923 +56 +1073741924 +101 +1073741925 +140 +1073741926 +0 +1073741927 +124 +1073741928 +52 +1073741929 +13 +1073741930 +152 +1073741931 +0 +1073741932 +0 +1073741933 +13 +1073741934 +108 +1073741935 +60 +1073741936 +1 +1073741937 +141 +1073741938 +96 +1073741939 +37 +1073741940 +1 +1073741941 +128 +1073741942 +0 +1073741943 +8 +1073741944 +0 +1073741945 +0 +1073741946 +0 +1073741947 +0 +1073741948 +64 +1073741949 +12 +1073741950 +120 +1073741951 +0 +1073741952 +49 +1073741953 +140 +1073741954 +255 +1073741955 +0 +1073741956 +57 +1073741957 +173 +1073741958 +137 +1073741959 +0 +1073741960 +17 +1073741961 +141 +1073741962 +0 +1073741963 +11 +1073741964 +36 +1073741965 +2 +1073741966 +0 +1073741967 +0 +1073741968 +64 +1073741969 +44 +1073741970 +120 +1073741971 +6 +1073741972 +49 +1073741973 +130 +1073741974 +255 +1073741975 +255 +1073741976 +64 +1073741977 +44 +1073741978 +120 +1073741979 +7 +1073741980 +0 +1073741981 +12 +1073741982 +28 +1073741983 +2 +1073741984 +32 +1073741985 +99 +1073741986 +0 +1073741987 +1 +1073741988 +49 +1073741989 +140 +1073741990 +255 +1073741991 +255 +1073741992 +112 +1073741993 +67 +1073741994 +16 +1073741995 +2 +1073741996 +0 +1073741997 +76 +1073741998 +16 +1073741999 +32 +1073742000 +20 +1073742001 +64 +1073742002 +0 +1073742003 +55 +1073742004 +0 +1073742005 +0 +1073742006 +0 +1073742007 +0 +1073742008 +36 +1073742009 +1 +1073742010 +0 +1073742011 +0 +1073742012 +36 +1073742013 +2 +1073742014 +0 +1073742015 +0 +1073742016 +36 +1073742017 +3 +1073742018 +0 +1073742019 +0 +1073742020 +36 +1073742021 +8 +1073742022 +0 +1073742023 +0 +1073742024 +36 +1073742025 +9 +1073742026 +0 +1073742027 +0 +1073742028 +36 +1073742029 +10 +1073742030 +0 +1073742031 +0 +1073742032 +36 +1073742033 +11 +1073742034 +0 +1073742035 +0 +1073742036 +36 +1073742037 +12 +1073742038 +0 +1073742039 +0 +1073742040 +36 +1073742041 +13 +1073742042 +0 +1073742043 +0 +1073742044 +36 +1073742045 +14 +1073742046 +0 +1073742047 +0 +1073742048 +36 +1073742049 +15 +1073742050 +0 +1073742051 +0 +1073742052 +36 +1073742053 +16 +1073742054 +0 +1073742055 +0 +1073742056 +36 +1073742057 +17 +1073742058 +0 +1073742059 +0 +1073742060 +36 +1073742061 +18 +1073742062 +0 +1073742063 +0 +1073742064 +36 +1073742065 +19 +1073742066 +0 +1073742067 +0 +1073742068 +36 +1073742069 +20 +1073742070 +0 +1073742071 +0 +1073742072 +36 +1073742073 +21 +1073742074 +0 +1073742075 +0 +1073742076 +36 +1073742077 +22 +1073742078 +0 +1073742079 +0 +1073742080 +36 +1073742081 +23 +1073742082 +0 +1073742083 +0 +1073742084 +36 +1073742085 +24 +1073742086 +0 +1073742087 +0 +1073742088 +36 +1073742089 +25 +1073742090 +0 +1073742091 +0 +1073742092 +36 +1073742093 +26 +1073742094 +0 +1073742095 +0 +1073742096 +36 +1073742097 +27 +1073742098 +0 +1073742099 +0 +1073742100 +36 +1073742101 +28 +1073742102 +0 +1073742103 +0 +1073742104 +0 +1073742105 +32 +1073742106 +0 +1073742107 +17 +1073742108 +0 +1073742109 +32 +1073742110 +0 +1073742111 +19 +1073742112 +36 +1073742113 +4 +1073742114 +0 +1073742115 +0 +1073742116 +60 +1073742117 +5 +1073742118 +144 +1073742119 +0 +1073742120 +100 +1073742121 +165 +1073742122 +0 +1073742123 +0 +1073742124 +0 +1073742125 +5 +1073742126 +44 +1073742127 +56 +1073742128 +100 +1073742129 +165 +1073742130 +64 +1073742131 +0 +1073742132 +0 +1073742133 +5 +1073742134 +44 +1073742135 +56 +1073742136 +100 +1073742137 +165 +1073742138 +3 +1073742139 +112 +1073742140 +60 +1073742141 +6 +1073742142 +144 +1073742143 +0 +1073742144 +100 +1073742145 +198 +1073742146 +0 +1073742147 +0 +1073742148 +0 +1073742149 +6 +1073742150 +52 +1073742151 +56 +1073742152 +100 +1073742153 +198 +1073742154 +64 +1073742155 +0 +1073742156 +0 +1073742157 +6 +1073742158 +52 +1073742159 +56 +1073742160 +100 +1073742161 +198 +1073742162 +3 +1073742163 +120 +1073742164 +60 +1073742165 +7 +1073742166 +0 +1073742167 +0 +1073742168 +100 +1073742169 +231 +1073742170 +0 +1073742171 +0 +1073742172 +0 +1073742173 +7 +1073742174 +60 +1073742175 +56 +1073742176 +100 +1073742177 +231 +1073742178 +7 +1073742179 +240 +1073742180 +0 +1073742181 +7 +1073742182 +60 +1073742183 +56 +1073742184 +100 +1073742185 +231 +1073742186 +252 +1073742187 +0 +1073742188 +60 +1073742189 +1 +1073742190 +0 +1073742191 +0 +1073742192 +100 +1073742193 +33 +1073742194 +0 +1073742195 +0 +1073742196 +0 +1073742197 +1 +1073742198 +12 +1073742199 +56 +1073742200 +100 +1073742201 +33 +1073742202 +128 +1073742203 +16 +1073742204 +0 +1073742205 +1 +1073742206 +12 +1073742207 +56 +1073742208 +100 +1073742209 +33 +1073742210 +0 +1073742211 +0 +1073742212 +220 +1073742213 +33 +1073742214 +0 +1073742215 +24 +1073742216 +0 +1073742217 +32 +1073742218 +0 +1073742219 +8 +1073742220 +0 +1073742221 +0 +1073742222 +0 +1073742223 +0 +1073742224 +0 +1073742225 +2 +1073742226 +97 +1073742227 +64 +1073742228 +60 +1073742229 +13 +1073742230 +0 +1073742231 +0 +1073742232 +101 +1073742233 +173 +1073742234 +0 +1073742235 +0 +1073742236 +0 +1073742237 +13 +1073742238 +108 +1073742239 +56 +1073742240 +101 +1073742241 +173 +1073742242 +128 +1073742243 +16 +1073742244 +0 +1073742245 +13 +1073742246 +108 +1073742247 +56 +1073742248 +101 +1073742249 +173 +1073742250 +0 +1073742251 +0 +1073742252 +1 +1073742253 +172 +1073742254 +96 +1073742255 +46 +1073742256 +36 +1073742257 +13 +1073742258 +0 +1073742259 +1 +1073742260 +253 +1073742261 +141 +1073742262 +0 +1073742263 +0 +1073742264 +253 +1073742265 +128 +1073742266 +0 +1073742267 +8 +1073742268 +253 +1073742269 +128 +1073742270 +0 +1073742271 +16 +1073742272 +253 +1073742273 +128 +1073742274 +0 +1073742275 +24 +1073742276 +0 +1073742277 +0 +1073742278 +0 +1073742279 +15 +1073742280 +0 +1073742281 +0 +1073742282 +0 +1073742283 +0 +1073742284 +0 +1073742285 +0 +1073742286 +0 +1073742287 +0 +1073742288 +0 +1073742289 +0 +1073742290 +0 +1073742291 +0 +1073742292 +0 +1073742293 +0 +1073742294 +0 +1073742295 +0 +1073742296 +0 +1073742297 +0 +1073742298 +0 +1073742299 +0 +1073742300 +0 +1073742301 +0 +1073742302 +0 +1073742303 +0 +1073742304 +0 +1073742305 +0 +1073742306 +0 +1073742307 +0 +1073742308 +0 +1073742309 +0 +1073742310 +0 +1073742311 +0 +1073742312 +0 +1073742313 +0 +1073742314 +0 +1073742315 +0 +1073742316 +0 +1073742317 +0 +1073742318 +0 +1073742319 +0 +1073742320 +0 +1073742321 +0 +1073742322 +0 +1073742323 +0 +1073742324 +0 +1073742325 +0 +1073742326 +0 +1073742327 +0 +1073742328 +0 +1073742329 +0 +1073742330 +0 +1073742331 +0 +1073742332 +0 +1073742333 +0 +1073742334 +0 +1073742335 +0 +1073742336 +0 +1073742337 +0 +1073742338 +0 +1073742339 +0 +1073742340 +0 +1073742341 +0 +1073742342 +0 +1073742343 +0 +1073742344 +0 +1073742345 +0 +1073742346 +0 +1073742347 +0 +1073742348 +0 +1073742349 +0 +1073742350 +0 +1073742351 +0 +1073742352 +0 +1073742353 +0 +1073742354 +0 +1073742355 +0 +1073742356 +0 +1073742357 +0 +1073742358 +0 +1073742359 +0 +1073742360 +0 +1073742361 +0 +1073742362 +0 +1073742363 +0 +1073742364 +0 +1073742365 +0 +1073742366 +0 +1073742367 +0 +1073742368 +0 +1073742369 +0 +1073742370 +0 +1073742371 +0 +1073742372 +0 +1073742373 +0 +1073742374 +0 +1073742375 +0 +1073742376 +0 +1073742377 +0 +1073742378 +0 +1073742379 +0 +1073742380 +0 +1073742381 +0 +1073742382 +0 +1073742383 +0 +1073742384 +0 +1073742385 +0 +1073742386 +0 +1073742387 +0 +1073742388 +0 +1073742389 +0 +1073742390 +0 +1073742391 +0 +1073742392 +0 +1073742393 +0 +1073742394 +0 +1073742395 +0 +1073742396 +0 +1073742397 +0 +1073742398 +0 +1073742399 +0 +1073742400 +0 +1073742401 +0 +1073742402 +0 +1073742403 +0 +1073742404 +0 +1073742405 +0 +1073742406 +0 +1073742407 +0 +1073742408 +0 +1073742409 +0 +1073742410 +0 +1073742411 +0 +1073742412 +0 +1073742413 +0 +1073742414 +0 +1073742415 +0 +1073742416 +0 +1073742417 +0 +1073742418 +0 +1073742419 +0 +1073742420 +0 +1073742421 +0 +1073742422 +0 +1073742423 +0 +1073742424 +0 +1073742425 +0 +1073742426 +0 +1073742427 +0 +1073742428 +0 +1073742429 +0 +1073742430 +0 +1073742431 +0 +1073742432 +0 +1073742433 +0 +1073742434 +0 +1073742435 +0 +1073742436 +0 +1073742437 +0 +1073742438 +0 +1073742439 +0 +1073742440 +0 +1073742441 +0 +1073742442 +0 +1073742443 +0 +1073742444 +0 +1073742445 +0 +1073742446 +0 +1073742447 +0 +1073742448 +0 +1073742449 +0 +1073742450 +0 +1073742451 +0 +1073742452 +0 +1073742453 +0 +1073742454 +0 +1073742455 +0 +1073742456 +0 +1073742457 +0 +1073742458 +0 +1073742459 +0 +1073742460 +0 +1073742461 +0 +1073742462 +0 +1073742463 +0 +1073742464 +0 +1073742465 +0 +1073742466 +0 +1073742467 +0 +1073742468 +0 +1073742469 +0 +1073742470 +0 +1073742471 +0 +1073742472 +0 +1073742473 +0 +1073742474 +0 +1073742475 +0 +1073742476 +0 +1073742477 +0 +1073742478 +0 +1073742479 +0 +1073742480 +0 +1073742481 +0 +1073742482 +0 +1073742483 +0 +1073742484 +0 +1073742485 +0 +1073742486 +0 +1073742487 +0 +1073742488 +0 +1073742489 +0 +1073742490 +0 +1073742491 +0 +1073742492 +0 +1073742493 +0 +1073742494 +0 +1073742495 +0 +1073742496 +0 +1073742497 +0 +1073742498 +0 +1073742499 +0 +1073742500 +0 +1073742501 +0 +1073742502 +0 +1073742503 +0 +1073742504 +0 +1073742505 +0 +1073742506 +0 +1073742507 +0 +1073742508 +0 +1073742509 +0 +1073742510 +0 +1073742511 +0 +1073742512 +0 +1073742513 +0 +1073742514 +0 +1073742515 +0 +1073742516 +0 +1073742517 +0 +1073742518 +0 +1073742519 +0 +1073742520 +0 +1073742521 +0 +1073742522 +0 +1073742523 +0 +1073742524 +0 +1073742525 +0 +1073742526 +0 +1073742527 +0 +1073742528 +0 +1073742529 +0 +1073742530 +0 +1073742531 +0 +1073742532 +0 +1073742533 +0 +1073742534 +0 +1073742535 +0 +1073742536 +0 +1073742537 +0 +1073742538 +0 +1073742539 +0 +1073742540 +0 +1073742541 +0 +1073742542 +0 +1073742543 +0 +1073742544 +0 +1073742545 +0 +1073742546 +0 +1073742547 +0 +1073742548 +0 +1073742549 +0 +1073742550 +0 +1073742551 +0 +1073742552 +0 +1073742553 +0 +1073742554 +0 +1073742555 +0 +1073742556 +0 +1073742557 +0 +1073742558 +0 +1073742559 +0 +1073742560 +0 +1073742561 +0 +1073742562 +0 +1073742563 +0 +1073742564 +0 +1073742565 +0 +1073742566 +0 +1073742567 +0 +1073742568 +0 +1073742569 +0 +1073742570 +0 +1073742571 +0 +1073742572 +0 +1073742573 +0 +1073742574 +0 +1073742575 +0 +1073742576 +0 +1073742577 +0 +1073742578 +0 +1073742579 +0 +1073742580 +0 +1073742581 +0 +1073742582 +0 +1073742583 +0 +1073742584 +0 +1073742585 +0 +1073742586 +0 +1073742587 +0 +1073742588 +0 +1073742589 +0 +1073742590 +0 +1073742591 +0 +1073742592 +0 +1073742593 +0 +1073742594 +0 +1073742595 +0 +1073742596 +0 +1073742597 +0 +1073742598 +0 +1073742599 +0 +1073742600 +0 +1073742601 +0 +1073742602 +0 +1073742603 +0 +1073742604 +0 +1073742605 +0 +1073742606 +0 +1073742607 +0 +1073742608 +0 +1073742609 +0 +1073742610 +0 +1073742611 +0 +1073742612 +0 +1073742613 +0 +1073742614 +0 +1073742615 +0 +1073742616 +0 +1073742617 +0 +1073742618 +0 +1073742619 +0 +1073742620 +0 +1073742621 +0 +1073742622 +0 +1073742623 +0 +1073742624 +0 +1073742625 +0 +1073742626 +0 +1073742627 +0 +1073742628 +0 +1073742629 +0 +1073742630 +0 +1073742631 +0 +1073742632 +0 +1073742633 +0 +1073742634 +0 +1073742635 +0 +1073742636 +0 +1073742637 +0 +1073742638 +0 +1073742639 +0 +1073742640 +0 +1073742641 +0 +1073742642 +0 +1073742643 +0 +1073742644 +0 +1073742645 +0 +1073742646 +0 +1073742647 +0 +1073742648 +0 +1073742649 +0 +1073742650 +0 +1073742651 +0 +1073742652 +0 +1073742653 +0 +1073742654 +0 +1073742655 +0 +1073742656 +0 +1073742657 +0 +1073742658 +0 +1073742659 +0 +1073742660 +0 +1073742661 +0 +1073742662 +0 +1073742663 +0 +1073742664 +0 +1073742665 +0 +1073742666 +0 +1073742667 +0 +1073742668 +0 +1073742669 +0 +1073742670 +0 +1073742671 +0 +1073742672 +0 +1073742673 +0 +1073742674 +0 +1073742675 +0 +1073742676 +0 +1073742677 +0 +1073742678 +0 +1073742679 +0 +1073742680 +221 +1073742681 +142 +1073742682 +0 +1073742683 +0 +1073742684 +17 +1073742685 +174 +1073742686 +255 +1073742687 +154 +1073742688 +0 +1073742689 +0 +1073742690 +0 +1073742691 +0 +1073742692 +0 +1073742693 +0 +1073742694 +0 +1073742695 +15 +1073742696 +1 +1073742697 +192 +1073742698 +0 +1073742699 +8 +1073742700 +221 +1073742701 +132 +1073742702 +0 +1073742703 +8 +1073742704 +0 +1073742705 +0 +1073742706 +0 +1073742707 +0 +1073742708 +0 +1073742709 +0 +1073742710 +0 +1073742711 +0 +1073742712 +0 +1073742713 +0 +1073742714 +0 +1073742715 +0 +1073742716 +0 +1073742717 +0 +1073742718 +0 +1073742719 +0 +elf_entry +10376293542535364608 |