Show page

Differences

This shows you the differences between two versions of the page.

--- ass:labs-2025:05:tasks:01 [2025/08/08 09:37]
florin.stancu
+++ ass:labs-2025:05:tasks:01 [2025/08/08 10:12] (current)
florin.stancu
@@ Line 49: / Line 49: @@
   * set the ''CFG_TZDRAM_START'', ''CFG_TZDRAM_SIZE'', ''CFG_TEE_SHMEM_START'', ''CFG_TEE_SHMEM_SIZE'' configuration flags to the values calculated above (reminder: you can reference another Makefile variable using ''$(VARIABLE_NAME)'' syntax);
   * finally, you will also need to pass ''CFG_DDR_SIZE=0x80000000'' (yep, that's 2GB, our board's actual installed memory).
+<note warning>
+There is currently a bug inside OP-TEE that makes it unable to boot: it uses the NXP EdgeLock Enclave for TRNG generation, whose firmware does not start (and we weren't able to figure it out since its documentation is "secret" / available using NDA-only).
+As workaround, we can disable the ELE RNG driver and enable a software one using the following additional make configuration options: ''CFG_WITH_SOFTWARE_PRNG=y CFG_IMX_ELE=n''. So make sure to also set them!
+</note>
 After a successful build, check the output (''O'') directory's ''core'' subdirectory for the ''tee.bin'', ''tee-raw.bin'' and many other files!
@@ Line 85: / Line 91: @@
 Proceed to load this image over the serial boot protocol using the IMX ''uuu'' utility.
-Check the serial console (the one provided by the board's Micro USB port) for confirmation!
+Check the serial console (the one provided by the board's DEBUG USB port) for confirmation!
 <spoiler Example UART output>