diff --git a/repos/ports-foc/run/l4linux.run b/repos/ports-foc/run/l4linux.run
index cdfbb02fba..9c1ad777e2 100644
--- a/repos/ports-foc/run/l4linux.run
+++ b/repos/ports-foc/run/l4linux.run
@@ -109,6 +109,7 @@ append_if $use_platform_drv config {
 		<resource name="RAM" quantum="1M"/>
 		<provides>
 			<service name="Regulator"/>
+			<service name="Platform"/>
 		</provides>
 	</start>}