diff --git a/THOUGHTS.txt b/THOUGHTS.txt
index 6eaf3e71..5b6be920 100644
--- a/THOUGHTS.txt
+++ b/THOUGHTS.txt
@@ -401,3 +401,15 @@ openwrt-based device tree which ahs the mdio as a nested node inside
 the ag71xx node - in mainline the driver seems to have all the mdio
 stuff inline. So, could we build the openwrt driver without patching
 the crap out of our kernel
+
+Sun Oct 16 15:25:33 BST 2022
+
+Executive decision: let's use the openwrt kernel (at least for
+gl-ar750).  Mainline kernel doesn’t have devicetree support for this
+device or the SoC it’s based on, and the OpenWrt dts for it doesn’t
+have the same "compatible"s, which makes me think that an indefinite
+amount of patching will be necessary to make dts/modules for one of
+them work with a kernel for the other
+
+As a result: now we have eth0 appearing, but not eth1?  Guessing we
+need to add some kconfig for the switch
diff --git a/devices/gl-ar750/default.nix b/devices/gl-ar750/default.nix
index 56ce876d..547dc84d 100644
--- a/devices/gl-ar750/default.nix
+++ b/devices/gl-ar750/default.nix
@@ -77,12 +77,13 @@
     };
   kernel = rec {
     checkedConfig = {
-      "MIPS_ELF_APPENDED_DTB" = "y";
+      MIPS_ELF_APPENDED_DTB = "y";
       OF = "y";
       USE_OF = "y";
       ATH79 = "y";
-#      SOC_QCA955X = "y";        #  actually QCA9531, is this even right?
+
       LIMINIX = "y";
+
       SERIAL_8250_CONSOLE = "y";
       SERIAL_8250 = "y";
       SERIAL_CORE_CONSOLE = "y";
@@ -109,17 +110,12 @@
       ETHERNET = "y";
       NET_VENDOR_ATHEROS = "y";
       AG71XX = "y";             # ethernet (qca,qca9530-eth)
-
       MFD_SYSCON = "y";         # ethernet (compatible "syscon")
 
     };
     config = {
       CPU_LITTLE_ENDIAN= "n";
       CPU_BIG_ENDIAN= "y";
-      ATH79 = "y";
-      MIPS_ELF_APPENDED_DTB = "y";
-
-#      INITRAMFS_SOURCE = "\"\"";
 
       # this is all copied from nixwrt ath79 config. Clearly not all
       # of it is device config, some of it is wifi config or