diff options
author | Fathi Boudra <fathi.boudra@linaro.org> | 2017-10-16 16:40:52 +0300 |
---|---|---|
committer | Fathi Boudra <fathi.boudra@linaro.org> | 2017-10-16 16:40:52 +0300 |
commit | d8d8c03bf62e69751295cb1c6fabaea400f70458 (patch) | |
tree | 313148d942e2e3d4fb4c8ca3483a0faf02cdcd69 /optee | |
parent | 47c3c97f34c740bcae3543bf7169b280673cfd4b (diff) |
optee-os: publish additional files
Change-Id: I88cc77455f129874d2fc7076965e8ab18112ec5f
Signed-off-by: Joakim Bech <joakim.bech@linaro.org>
Signed-off-by: Fathi Boudra <fathi.boudra@linaro.org>
Diffstat (limited to 'optee')
-rwxr-xr-x | optee/os/publishers.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/optee/os/publishers.sh b/optee/os/publishers.sh index 1b5066a8..4ea28ae2 100755 --- a/optee/os/publishers.sh +++ b/optee/os/publishers.sh @@ -3,8 +3,14 @@ # Prepare files to publish mkdir -p ${WORKSPACE}/out-publish cp -a \ + ${HOME}/optee_repo/gen_rootfs/filesystem.cpio.gz \ + ${HOME}/optee_repo/linux/arch/arm/boot/zImage \ ${HOME}/optee_repo/out/bios-qemu/bios.bin \ ${HOME}/optee_repo/qemu/arm-softmmu/qemu-system-arm \ + ${HOME}/optee_repo/qemu/pc-bios/efi-virtio.rom \ + ${WORKSPACE}/out/arm/core/tee-header_v2.bin \ + ${WORKSPACE}/out/arm/core/tee-pageable_v2.bin \ + ${WORKSPACE}/out/arm/core/tee-pager_v2.bin \ ${WORKSPACE}/out-publish/ # Publish |