core: assert that paging can be initialized

Adds an assert in kernel/kern.ld.S that there's enough free pages to
initialize paging when CFG_WITH_PAGER = y.

Signed-off-by: Jens Wiklander <jens.wikla

core: assert that paging can be initialized

Adds an assert in kernel/kern.ld.S that there's enough free pages to
initialize paging when CFG_WITH_PAGER = y.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Jens Wiklander <jens.wiklander@linaro.org> (FVP)
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

Fix TA cache maintenance support

Fix the 2-level cache clean/inv/flush sequences.
Current implementation follows recommendations from
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0

Fix TA cache maintenance support

Fix the 2-level cache clean/inv/flush sequences.
Current implementation follows recommendations from
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0246d/Beicdhde.html

Tested-by: Etienne CARRIERE <etienne.carriere@st.com>
Reviewed-by: CIBUILD <smet-aci-builds@lists.codex.cro.st.com>
Reviewed-by: Etienne CARRIERE <etienne.carriere@st.com>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pascal.brand@linaro.org> (STM platform)
Signed-off-by: Pascal Brand <pascal.brand@st.com>

show more ...

Add Juno and FVP ARM64 support to travis.yml

* Downloads linaro 15.02 toolchains for both arm32 and arm64.
* Adds -s flag for all builds.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
R

Add Juno and FVP ARM64 support to travis.yml

* Downloads linaro 15.02 toolchains for both arm32 and arm64.
* Adds -s flag for all builds.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>

show more ...

build: add support for make -s

Adds support for make -s to get a really silent build. This is
useful to get a shorter travis build log.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Rev

build: add support for make -s

Adds support for make -s to get a really silent build. This is
useful to get a shorter travis build log.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>

show more ...

Add support for the HiKey board (make PLATFORM=hikey)

This commit adds support for the HiKey board [1] in 32-bit mode.
Tested with and without CFG_WITH_PAGER=y. Note that everything
is loaded in DRA

Add support for the HiKey board (make PLATFORM=hikey)

This commit adds support for the HiKey board [1] in 32-bit mode.
Tested with and without CFG_WITH_PAGER=y. Note that everything
is loaded in DRAM which is non-secure by default.

[1] https://www.96boards.org/products/hikey/

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>

show more ...

vexpress: move some code to core/arch/arm/kernel

Some code that was previously in plat-vexpress is moved to the kernel
directory and enabled by CFG_GENERIC_BOOT=y so that it may be used by
other pla

vexpress: move some code to core/arch/arm/kernel

Some code that was previously in plat-vexpress is moved to the kernel
directory and enabled by CFG_GENERIC_BOOT=y so that it may be used by
other platforms.
Tested on QEMU and FVP, with and without pager.

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Tested-by: Jerome Forissier <jerome.forissier@linaro.org> (QEMU, FVP)
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

L2 Cache Maintenance in common code

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.o

L2 Cache Maintenance in common code

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pascal.brand@linaro.org> (STM platform)
Signed-off-by: Pascal Brand <pascal.brand@st.com>

show more ...

arm: l2cc cleanup

Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pascal.brand@linaro.org> (STM platform)
Signed-off-by: Pascal Brand <pascal.brand@st.com>

s/CFG_TEE_FW_DEBUG/CFG_TEE_CORE_DEBUG

Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Signed-off-by: Pascal Brand <pascal.brand@st.com>

Pager: update abort dump

Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pascal.brand@linaro.org> (STM platform)
Signed-off-by: Pascal Brand <pascal.brand@st.com>

Move common TEE entry code into core/arch/arm/tee/entry.c

- OP-TEE SMC functions TEESMC32_OPTEE_FASTCALL_GET_SHM_CONFIG
and TEESMC32_OPTEE_FASTCALL_L2CC_MUTEX are handled in tee_entry()
- L2CC mutex

Move common TEE entry code into core/arch/arm/tee/entry.c

- OP-TEE SMC functions TEESMC32_OPTEE_FASTCALL_GET_SHM_CONFIG
and TEESMC32_OPTEE_FASTCALL_L2CC_MUTEX are handled in tee_entry()
- L2CC mutex code is enabled only when CFG_PL310 is set
- Duplicate code is removed

Tested on PLATFORM=vexpress-qemu_virt and PLATFORM=vexpress-fvp
with and without CFG_WITH_PAGER=y.

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>

show more ...

Delete tee_common_otp.c

Move dummy implementations of tee_otp_get_hw_unique_key() and
tee_otp_get_die_id() to core/include/kernel/tee_common_otp.h as inline
functions.

Signed-off-by: Jerome Forissi

Delete tee_common_otp.c

Move dummy implementations of tee_otp_get_hw_unique_key() and
tee_otp_get_die_id() to core/include/kernel/tee_common_otp.h as inline
functions.

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>

show more ...

Move PM handler stubs to core/arch/arm/kernel/pm_stubs.c

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander

Move PM handler stubs to core/arch/arm/kernel/pm_stubs.c

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>

show more ...

vexpress, sunxi: move common MMU code to core/arch/arm/mm/core_mmu_v7.c

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by:

vexpress, sunxi: move common MMU code to core/arch/arm/mm/core_mmu_v7.c

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>

show more ...

arm: add Aarch64 (aka ARM64) support

* Adds support for ARM64 in plat-vexpress
* The name of the ARM64 instruction set is, hence _a64.S suffix to ARM64
assembly files to keep them apart from the A

arm: add Aarch64 (aka ARM64) support

* Adds support for ARM64 in plat-vexpress
* The name of the ARM64 instruction set is, hence _a64.S suffix to ARM64
assembly files to keep them apart from the A32 assembly files.
* ARM64 specific C code is inside #ifdef ARM64

The ARM64 port has all features of the ARM32 port with the exception of:
* Paging not supported
* No crypto ARMv8 crypto extensions implemented

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Jens Wiklander <jens.wiklander@linaro.org> (QEMU, FVP, Juno)
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

core arm sta: 64bit print fix

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

core arm: toolchain workaround

The gcc Aarch64 toolchain seems to need this.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

Have a default value for MAX_XLAT_TABLES in core_mmu_lpae.c

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal

Have a default value for MAX_XLAT_TABLES in core_mmu_lpae.c

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

Remove CFG_WITH_SEC_MON

CFG_WITH_SEC_MON = !CFG_WITH_ARM_TRUSTED_FW

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by

Remove CFG_WITH_SEC_MON

CFG_WITH_SEC_MON = !CFG_WITH_ARM_TRUSTED_FW

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

plat-vexpress/entry_a32.S: fix wrong name in END_FUNC macro

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal

plat-vexpress/entry_a32.S: fix wrong name in END_FUNC macro

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

Update ta_dev_kit.mk

Picked from https://github.com/jbech-linaro/optee_os/commit/db92984901aa.
These changes are required to build the 'new' optee_test (with reworked
Makefiles).

Signed-off-by: Jer

Update ta_dev_kit.mk

Picked from https://github.com/jbech-linaro/optee_os/commit/db92984901aa.
These changes are required to build the 'new' optee_test (with reworked
Makefiles).

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

GP Internal Core API v1.1 : review internal client and cancellation functions

update panic reasons
checkpatch warning fix (else after return)

Signed-off-by: Cedric Chaumont <cedric.chaumont@st.com>

GP Internal Core API v1.1 : review internal client and cancellation functions

update panic reasons
checkpatch warning fix (else after return)

Signed-off-by: Cedric Chaumont <cedric.chaumont@st.com>
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Cedric Chaumont <cedric.chaumont@linaro.org> (STM boards)
Tested-by: Cedric Chaumont <cedric.chaumont@linaro.org> (ARM Juno board)

show more ...

Doc: Debug document added (gdb)

Add first version of a document that explains how to debug OP-TEE. In
this version debugging with gdb is explained. For future revisions we
would like to include JTAG

Doc: Debug document added (gdb)

Add first version of a document that explains how to debug OP-TEE. In
this version debugging with gdb is explained. For future revisions we
would like to include JTAG debugging etc. for other targets.

Signed-off-by: Joakim Bech <joakim.bech@linaro.org>
Tested-by: Joakim Bech <joakim.bech@linaro.org> (QEMU)
Reviewed-by: Pascal Brand <pascal.brand@linaro.org>

show more ...

Define TAMSG / TAMSG_RAW when CFG_TEE_CORE_TA_TRACE is undefined

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pa

Define TAMSG / TAMSG_RAW when CFG_TEE_CORE_TA_TRACE is undefined

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Pascal Brand <pascal.brand@linaro.org> (STM platform)
Signed-off-by: Pascal Brand <pascal.brand@st.com>

show more ...

Adding noreturn in _assert_break() definition

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Signed-off-by: Pascal Brand <pascal.brand@st.c

Adding noreturn in _assert_break() definition

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
Signed-off-by: Pascal Brand <pascal.brand@st.com>

show more ...