diff --git a/misoclib/mem/litesata/example_designs/platforms/kc705.py b/misoclib/mem/litesata/example_designs/platforms/kc705.py
index 9a8cbdd5b..d287d954e 100644
--- a/misoclib/mem/litesata/example_designs/platforms/kc705.py
+++ b/misoclib/mem/litesata/example_designs/platforms/kc705.py
@@ -12,16 +12,9 @@ _sata_io = [
 	)
 ]
 
-class SpecializedPlatform:
-	def __init__(self, platform):
-		self._platform = platform
-
-	def __getattr__(self, name):
-		return getattr(self._platform, name)
-
-class Platform(SpecializedPlatform):
+class Platform(kc705.Platform):
 	def __init__(self, *args, **kwargs):
-		SpecializedPlatform.__init__(self, kc705.Platform(*args, **kwargs))
+		kc705.Platform.__init__(self, *args, **kwargs)
 		self.add_extension(_sata_io)
 
 	def do_finalize(self, fragment):