diff options
| author | danh-arm <dan.handley@arm.com> | 2015-01-12 17:04:03 +0000 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2015-01-12 17:04:03 +0000 |
| commit | 8a6af12d32b7550dabec7559cf2958719481aa3c (patch) | |
| tree | 41134392a25974f1de75f11c0e4d8fdf33878517 | |
| parent | 4c59dd6f6198e773f1e3d20b639899de564f90aa (diff) | |
| parent | b04fb94af78d93bf40ed428f2b5ed7c779955c1a (diff) | |
Merge pull request #232 from jcastillo-arm/jc/fix_doc_bl31
Fix reset to BL3-1 instructions in user guide, part 3
| -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 1afcf3b7..b33c4c0c 100644 --- a/docs/user-guide.md +++ b/docs/user-guide.md @@ -817,16 +817,16 @@ with 8 CPUs using the ARM Trusted Firmware. -C cluster1.NUM_CORES=4 \ -C cache_state_modelled=1 \ -C bp.pl011_uart0.untimed_fifos=1 \ - -C cluster0.cpu0.RVBAR=0x04022000 \ - -C cluster0.cpu1.RVBAR=0x04022000 \ - -C cluster0.cpu2.RVBAR=0x04022000 \ - -C cluster0.cpu3.RVBAR=0x04022000 \ - -C cluster1.cpu0.RVBAR=0x04022000 \ - -C cluster1.cpu1.RVBAR=0x04022000 \ - -C cluster1.cpu2.RVBAR=0x04022000 \ - -C cluster1.cpu3.RVBAR=0x04022000 \ - --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04022000 \ - --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04000000 \ + -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>"@0x04001000 \ --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \ -C bp.virtioblockdevice.image_path="<path-to>/<file-system-image>" @@ -844,16 +844,16 @@ boot Linux with 8 CPUs using the ARM Trusted Firmware. -C bp.tzc_400.diagnostics=1 \ -C cache_state_modelled=1 \ -C bp.pl011_uart0.untimed_fifos=1 \ - -C cluster0.cpu0.RVBARADDR=0x04022000 \ - -C cluster0.cpu1.RVBARADDR=0x04022000 \ - -C cluster0.cpu2.RVBARADDR=0x04022000 \ - -C cluster0.cpu3.RVBARADDR=0x04022000 \ - -C cluster1.cpu0.RVBARADDR=0x04022000 \ - -C cluster1.cpu1.RVBARADDR=0x04022000 \ - -C cluster1.cpu2.RVBARADDR=0x04022000 \ - -C cluster1.cpu3.RVBARADDR=0x04022000 \ - --data cluster0.cpu0="<path-to>/<bl31-binary>"@0x04022000 \ - --data cluster0.cpu0="<path-to>/<bl32-binary>"@0x04000000 \ + -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>"@0x04001000 \ --data cluster0.cpu0="<path-to>/<bl33-binary>"@0x88000000 \ -C bp.virtioblockdevice.image_path="<path-to>/<file-system-image>" |