Hi,
as this is a "related question", I am not going into details for now. Let me know, what kind of infos you need from my side please.
I am also running into the problem of the jailhouse compilation
/opt/sdk/board-support/extra-drivers/jailhouse-0.12+gitAUTOINC+0d059b6f2c/tools/jailhouse.c:14:10: fatal error: stdio.h: No such file or directory
14 | #include <stdio.h>
| ^~~~~~~~~
compilation terminated.
scripts/Makefile.build:265: recipe for target '/opt/sdk/board-support/extra-drivers/jailhouse-0.12+gitAUTOINC+0d059b6f2c/tools/jailhouse.o' failed
using the latest SDK available 07_02_00_07.
Any idea what could solve my problem?
Kind regards