HOW TO IMPLEMENT DOUBLE PRECISSION FPU SUPPORT FOR PULPISSIMO?

[LatifAkcayGithub]

Hello,

For our project, we use an application that contains many double-precision floating-point calculations.
Thus, we want to switch the FPU to provide double-precision support. I mean we switch the core architecture to RV32IMFD.
We know that the FPU used in the current Pulpissimo is a generic FPU and able to support double-precession support.
However, we do not know whether the rest of the core is modifiable or not, and how.
Is it possible to convert the core to execute RV32D instructions?

Any guidance and help would be appreciated.

Thanks.