Created attachment 186290 [details] Boot log I'm trying to run the GENERIC kernel on a Raspberry Pi 3, boot fails with attached log. By removing the TI board support code from kernel config, the kernel boots fine.
Olivier Houchard had a patch for this, although I'm not sure what happened to it.
A commit references this bug: Author: cognet Date: Tue Sep 12 10:43:03 UTC 2017 New revision: 323490 URL: https://svnweb.freebsd.org/changeset/base/323490 Log: Some devices come with the same name as TI devices, so we can't rely on the "probe" method of those drivers to mean we're on e TI SoC. Introduce a new function, ti_soc_is_supported(), and use it to be sure we're really a TI system. PR: 222250 Changes: head/sys/arm/ti/ti_cpuid.c head/sys/arm/ti/ti_cpuid.h head/sys/arm/ti/ti_scm.c
Thanks!