litesata: avoid hack on kc705 platform with new mibuild toolchain management

diff --git a/misoclib/mem/litesata/example_designs/platforms/kc705.py b/misoclib/mem/litesata/example_designs/platforms/kc705.py
index 9a8cbdd5b4678bcf15bf08c17eb2e6bf4c9bf3ed..d287d954edd485c7a10d468cc2c17f662897ee14 100644 (file)
--- 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):