diff options
| author | danh-arm <dan.handley@arm.com> | 2014-08-14 09:50:45 +0100 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2014-08-14 09:50:45 +0100 |
| commit | 233020911d02474ac9870dc4067576f3ee675af6 (patch) | |
| tree | 499b1e9b73a699cc48e155b9b1f8ada65da0cc80 /docs | |
| parent | 6f08fd5f95c276b532123994407d0c5999ff61db (diff) | |
| parent | bfb1dd51c098d3c403c0534ecd6bfcee7c656d7d (diff) | |
Merge pull request #186 from danh-arm/dh/fix-reset-to-bl31
Fix reset to BL3-1 instructions in user guide
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/user-guide.md | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/docs/user-guide.md b/docs/user-guide.md index 6ad2927..ccb07df 100644 --- a/docs/user-guide.md +++ b/docs/user-guide.md @@ -732,16 +732,16 @@ vector for each core. -C cluster1.NUM_CORES=4 \ -C cache_state_modelled=1 \ -C bp.pl011_uart0.untimed_fifos=1 \ - -C cluster0.cpu0.RVBAR=0x04006000 \ - -C cluster0.cpu1.RVBAR=0x04006000 \ - -C cluster0.cpu2.RVBAR=0x04006000 \ - -C cluster0.cpu3.RVBAR=0x04006000 \ - -C cluster1.cpu0.RVBAR=0x04006000 \ - -C cluster1.cpu1.RVBAR=0x04006000 \ - -C cluster1.cpu2.RVBAR=0x04006000 \ - -C cluster1.cpu3.RVBAR=0x04006000 \ - --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04006000 \ - --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04024000 \ + -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 \ + --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04000000 \ --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \ -C bp.virtioblockdevice.image_path="<path-to>/<file-system-image>" @@ -763,16 +763,16 @@ vector for each core. -C bp.tzc_400.diagnostics=1 \ -C cache_state_modelled=1 \ -C bp.pl011_uart0.untimed_fifos=1 \ - -C cluster0.cpu0.RVBARADDR=0x04006000 \ - -C cluster0.cpu1.RVBARADDR=0x04006000 \ - -C cluster0.cpu2.RVBARADDR=0x04006000 \ - -C cluster0.cpu3.RVBARADDR=0x04006000 \ - -C cluster1.cpu0.RVBARADDR=0x04006000 \ - -C cluster1.cpu1.RVBARADDR=0x04006000 \ - -C cluster1.cpu2.RVBARADDR=0x04006000 \ - -C cluster1.cpu3.RVBARADDR=0x04006000 \ - --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04006000 \ - --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04024000 \ + -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 \ + --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04000000 \ --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \ -C bp.virtioblockdevice.image_path="<path-to>/<file-system-image>" |