I followed the instructions here
to install OP-TEE on the HiKey board (LeMaker, 2GB/8GB) and experiment with trusted service development.
Everything works fine until I get to rebooting after the step of pushing the OP-TEE client binaries and kernel with OP-TEE support. The installed system as well as the xtest suite work fine until I reboot the board. After the reboot, the boot process hangs, displaying
ACPI: System description tables not found ACPI: Failed to init ACPI tables zswap: default zpool zbud not available zswap: pool creation failed
It hangs afterwards and I can not access the OS anymore.
Stupid/funny thing is, it booted one more time in between, and I found the exact same messages in the kernel log.
Did I mess up the filesystem or do the OP-TEE instruction list a wrong filesystem or ptable?
I found that the system image etc. in the Makefile does not differentiate between 8G and 4G boards?
Or do I need to disable ACPI during boot?