Hi,
I followed closely the instructions to build the console-tdx-image, which succeeds without problem. After that, I created an SD card to boot the image as described here. This works too, but then when booting the image, I get the following:
Starting Load Kernel Modules...
[ 7.824982] galcore: Unknown symbol viv_fence_create (err 0)
[ 7.832258] galcore: Unknown symbol viv_sync_timeline_destroy (err 0)
[ 7.840879] galcore: Unknown symbol viv_sync_timeline_create (err 0)
[ 7.849118] galcore: Unknown symbol sync_file_get_fence (err 0)
[ 7.856685] galcore: Unknown symbol sync_file_create (err 0)
[FAILED] Failed to start Load Kernel Modules.
There is also periodic spam on the console output, like this (a monitor is attached to VGA):
[ 192.190784] mxc_sdc_fb fb@0: 640x480 h_sync,r,l: 64,16,80 v_sync,l,u: 4,3,13 pixclock=23750000 Hz
[ 192.247325] mxc_sdc_fb fb@0: 640x480 h_sync,r,l: 64,16,80 v_sync,l,u: 4,3,13 pixclock=23750000 Hz
[ 192.307872] mxc_sdc_fb fb@0: 640x480 h_sync,r,l: 64,16,80 v_sync,l,u: 4,3,13 pixclock=23750000 Hz
[ 192.367320] mxc_sdc_fb fb@0: 640x480 h_sync,r,l: 64,16,80 v_sync,l,u: 4,3,13 pixclock=23750000 Hz
[ 192.428228] mxc_sdc_fb fb@0: 640x480 h_sync,r,l: 64,16,80 v_sync,l,u: 4,3,13 pixclock=23750000 Hz
What is the problem here? Thanks