The issue of porting esp32p4

I have solved the problem of adding a board card to esp32p4. However, I encountered issues with using soft floating point and single precision floating point in the .a file. Do you have any solutions for this? Or when will support for esp32p4 + external esp32c6 be available?