Ce sera un pilote propriétaire (donc efficace), qui communiquera avec le kernel de la Pando via un go-between opensource