Add PHY-driver for KSZ8091RNB with 50MHz.

This adds a driver for the KSZ8091RNB PHY. This PHY needs some special
treatment if it is clocked with a 50MHz clock.

1 files changed, 6 insertions, 0 deletions

diff --git a/libbsd.py b/libbsd.py
index 03ac598a..6c2fc28b 100644
--- a/libbsd.py
+++ b/libbsd.py
@@ -1443,6 +1443,12 @@ class dev_net(builder.Module):
             ],
             mm.generator['source']()
         )
+        self.addRTEMSSourceFiles(
+            [
+                'sys/dev/mii/ksz8091rnb_50MHz.c',
+            ],
+            mm.generator['source']()
+        )
 
 #
 # Network Interface Controllers (NIC)