TI TDA4x is a series of TI SOC, targeted for Auto industry. To accelerate its boot process, a Linux kernel is especially tailored for it. Now the kernel can complete its booting in 10s. 

Debian 13.4.0 can be installed onto TDA4VM-SK and TDA4VH-EVM. But the GPU could not be utilized because user mode graphics libraries do not support them. They will be supported soon, starting from Vulkan.