|
|
@ -1593,15 +1593,15 @@ with 8 CPUs using the AArch64 build of ARM Trusted Firmware. |
|
|
|
-C cluster0.NUM_CORES=4 \ |
|
|
|
-C cluster1.NUM_CORES=4 \ |
|
|
|
-C cache_state_modelled=1 \ |
|
|
|
-C cluster0.cpu0.RVBAR=0x04023000 \ |
|
|
|
-C cluster0.cpu1.RVBAR=0x04023000 \ |
|
|
|
-C cluster0.cpu2.RVBAR=0x04023000 \ |
|
|
|
-C cluster0.cpu3.RVBAR=0x04023000 \ |
|
|
|
-C cluster1.cpu0.RVBAR=0x04023000 \ |
|
|
|
-C cluster1.cpu1.RVBAR=0x04023000 \ |
|
|
|
-C cluster1.cpu2.RVBAR=0x04023000 \ |
|
|
|
-C cluster1.cpu3.RVBAR=0x04023000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04023000 \ |
|
|
|
-C cluster0.cpu0.RVBAR=0x04020000 \ |
|
|
|
-C cluster0.cpu1.RVBAR=0x04020000 \ |
|
|
|
-C cluster0.cpu2.RVBAR=0x04020000 \ |
|
|
|
-C cluster0.cpu3.RVBAR=0x04020000 \ |
|
|
|
-C cluster1.cpu0.RVBAR=0x04020000 \ |
|
|
|
-C cluster1.cpu1.RVBAR=0x04020000 \ |
|
|
|
-C cluster1.cpu2.RVBAR=0x04020000 \ |
|
|
|
-C cluster1.cpu3.RVBAR=0x04020000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04020000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04001000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<fdt>"@0x82000000 \ |
|
|
@ -1678,15 +1678,15 @@ boot Linux with 8 CPUs using the AArch64 build of ARM Trusted Firmware. |
|
|
|
-C bp.secure_memory=1 \ |
|
|
|
-C bp.tzc_400.diagnostics=1 \ |
|
|
|
-C cache_state_modelled=1 \ |
|
|
|
-C cluster0.cpu0.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster0.cpu1.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster0.cpu2.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster0.cpu3.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster1.cpu0.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster1.cpu1.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster1.cpu2.RVBARADDR=0x04023000 \ |
|
|
|
-C cluster1.cpu3.RVBARADDR=0x04023000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04023000 \ |
|
|
|
-C cluster0.cpu0.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster0.cpu1.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster0.cpu2.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster0.cpu3.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster1.cpu0.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster1.cpu1.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster1.cpu2.RVBARADDR=0x04020000 \ |
|
|
|
-C cluster1.cpu3.RVBARADDR=0x04020000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04020000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04001000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \ |
|
|
|
--data cluster0.cpu0="<path-to>/<fdt>"@0x82000000 \ |
|
|
|