F5, WMI y Linux

Mirando la documentación F5, concretamente delBIG IP 3400, me ha llamado la atención que el firmware que utilizan es un kernel Linux. Ojeando las posibilidades del balanceador, resulta que es capaz de obtener información por WMI Windows Management Instrumentation. Para poder leer en remoto los datos debe de tener soporte para DCERPC. Lo que no encuentro es ninguna referencia de implementaciones para Linux de WMI.