rpi4-ws: README: fix OPTEE paths

[DaniilKl]

In Step 1 of the target README OPTEE OSes are being build with output dirs that end with -rpi4. So, you should use these dirs when rreferencing OPTEE OSes in other steps too.

[DaniilKl]

BTW, following command at the end of /env/README.md does not work:

sudo docker cp crosscon_hv_container:/work/crosscon/rpi4-ws/firmware/boot/start* $SDCARD_MOUNT/
sudo docker cp crosscon_hv_container:/work/crosscon/CROSSCON-Hypervisor/bin/rpi4/builtin-configs/rpi4-single-vTEE/crossconhyp.bin $SDCARD_MOUNT/

λ sudo docker cp crosscon_hv_container:/work/crosscon/rpi4-ws/firmware/boot/start* $SDCARD_MOUNT/ 
sudo docker cp crosscon_hv_container:/work/crosscon/CROSSCON-Hypervisor/bin/rpi4/builtin-configs/rpi4-single-vTEE/crossconhyp.bin $SDCARD_MOUNT/
zsh: no matches found: crosscon_hv_container:/work/crosscon/rpi4-ws/firmware/boot/start*
Successfully copied 53.7MB to /

Though I have all start* files:

root@e88e5a998e35:/work/crosscon# ls /work/crosscon/rpi4-ws/firmware/boot/
COPYING.linux		bcm2709-rpi-2-b.dtb	  bcm2711-rpi-4-b.dtb	  fixup4cd.dat	kernel7l.img  start_cd.elf
LICENCE.broadcom	bcm2709-rpi-cm2.dtb	  bcm2711-rpi-400.dtb	  fixup4db.dat	kernel8.img   start_db.elf
bcm2708-rpi-b-plus.dtb	bcm2710-rpi-2-b.dtb	  bcm2711-rpi-cm4-io.dtb  fixup4x.dat	overlays      start_x.elf
bcm2708-rpi-b-rev1.dtb	bcm2710-rpi-3-b-plus.dtb  bcm2711-rpi-cm4.dtb	  fixup_cd.dat	start.elf
bcm2708-rpi-b.dtb	bcm2710-rpi-3-b.dtb	  bcm2711-rpi-cm4s.dtb	  fixup_db.dat	start4.elf
bcm2708-rpi-cm.dtb	bcm2710-rpi-cm3.dtb	  bootcode.bin		  fixup_x.dat	start4cd.elf
bcm2708-rpi-zero-w.dtb	bcm2710-rpi-zero-2-w.dtb  fixup.dat		  kernel.img	start4db.elf
bcm2708-rpi-zero.dtb	bcm2710-rpi-zero-2.dtb	  fixup4.dat		  kernel7.img	start4x.elf

[DaniilKl]

Building hyp files do not work too:

root@fd85fd6fabb1:/work/crosscon# cd /work/crosscon

make -C CROSSCON-Hypervisor/ \
    PLATFORM=rpi4 \
    CONFIG_BUILTIN=y \
    CONFIG_REPO=$CONFIG_REPO \
    CONFIG=rpi4-single-vTEE \
    OPTIMIZATIONS=0 \
        SDEES="sdSGX sdTZ" \
    CROSS_COMPILE=aarch64-none-elf- \
        clean

make -C CROSSCON-Hypervisor/ \
    PLATFORM=rpi4 \
    CONFIG_BUILTIN=y \
    CONFIG_REPO=$CONFIG_REPO \
    CONFIG=rpi4-single-vTEE \
    OPTIMIZATIONS=0 \
        SDEES="sdSGX sdTZ" \
    CROSS_COMPILE=aarch64-none-elf- \
        -j`nproc`
make: Entering directory '/work/crosscon/CROSSCON-Hypervisor'
/work/crosscon/CROSSCON-Hypervisor/configs/configs.mk:31: *** Cant find file for rpi4-single-vTEE config!.  Stop.
make: Leaving directory '/work/crosscon/CROSSCON-Hypervisor'
make: Entering directory '/work/crosscon/CROSSCON-Hypervisor'
/work/crosscon/CROSSCON-Hypervisor/configs/configs.mk:31: *** Cant find file for rpi4-single-vTEE config!.  Stop.
make: Leaving directory '/work/crosscon/CROSSCON-Hypervisor'
root@fd85fd6fabb1:/work/crosscon#