Failed to build ADI kernel for Raspberry PI.


I tried to use the ToF camera in the OS of the environment built for me, but I couldn't start it due to kernel loading failure.

The operating systems are as follows

・AD-96TOF1-EBZ rev.C

・Raspberry Pi B+

In order to reproduce the problem, I tried using the latest official Raspberry Pi OS.

I downloaded the OS and wrote it to the SD card. Then I rewrote the kernel according to the instructions here

With “make menuconfig”, we have enabled the necessary settings for ADDI9036: VIDEO_ADDI9036, EEPROM_AT24

However, as shown in the figure, the kernel failed to load and I could not boot successfully. Is there anything else I should do?