Can this FreeRTOS port also be used for CV32E40S?

This project provides FreeRTOS for the core-v-mcu, which incorporates the CV32E40P. I want to run FreeRTOS on the E40S now. Is this compatible and if not, what has to be adapted?

For example, I have seen for the RI5CY core six additional registers have to be stored for each task (lpstart0, lpend0, lpcount0...). Therefore, it would be good to know if something similar during the context switches must be considered for the E40S.