The image I shared had similar changes already applied .. I hadn't pushed the patches to repos. Nice to confirm that the Ethernet works with the normal conventions and has good speed (would be nice to solve the IRQ splat though).
Ahh, OK. It seems like the images didn't pick up that patch, so maybe not integrated from the kernel tree? I did test them, but the PHY was still internal. Once I couldn't get that to work with that image, went poking in what you had pushed to Github to figure out the framebuffer issue.
That IRQ splat is connected with &external_mdio. Removing the interrupt properties solves that. I don't think the interrupt line define is right, maybe it is shared with the internal phy?
Speaking of that, there is an GPIO->IRQ for the aml_wifi to trigger a host wakeup, I believe, which may be a contributor for performance. I believe it is some sort of out-of-band wake up? That is on GPIOX_7, and in aml_wifi is converted to an IRQ apparently. Couldn't see a direct connection of how the interrupt handler is registered, but hard to understand when you never have done linux embedded programming :). I miss the 6502, it was simple, write to memory your interrupt handler address, and that was it :).
4K+ has no LEDs when powered OFF, blue remains off when powered ON, red when panic is flagged.
I have never seen it behave that way with OSMC, perhaps they changed the behavior. I recall seeing threads of people complaining about the LED, "too distracting". Personally, as long as it is visibile to /sys/class/leds then I should be able to trigger it off.
I don't see two LEDs, it looks like single multi-colour one, although it looks more like an IR sensor than anything else. Is the IR sensor only via the extension cable at the back I wonder?
Yeah, not sure about the multi-colour, there is only one LED physically IIRC, and there is another sensor right next to it physically (which I believe the silkscreen said IR, it's been a while since I have cracked it open). There is also an external IR sensor delivered with the device, but oddly the remote uses a dongle.
Can you dump the factory device-tree with dtc to pastebin or a file?
01_dtbdump_Vero4K.dtb via "dtc -O dts" (Vero 4K):
02_dtbdump_Vero4KPlus.dtb via "dtc -O dts" (Vero 4K+):
OSMC 4.9 vendor kernel output of interrupts, gpio, pwm: