Ferreirawax Kernel For NovaThor ux500 Devices