ChibiOS Free Embedded RTOS

Hi All
any used the Chibios with Lwip using STM32F4 and DP83848 Ethernet Phy, preferably in MII interface ?

Looking to get this running as this is the combination what is on my STM3241G-EVAL board.

https://github.com/Nomados/STM32F4Disco ... mo-ChibiOS
but in RMII mode