On Tue, 16 Sep 2014, Manuel Bouyer wrote:
that's what I don't have here. As it's 2 different and independant chips, you can have various mixes.
You could pass down the info with device_register maybe? In beagle_machdep.c you can detect the board type:
For BeagleBone the board type is in an EEPROM on I2C0 (see BeagleBone SRM 7.11 EEPROM for format).
For BeagleBoard you can detect the board type by reading a couple of GPIO pins -- http://elinux.org/BeagleBoardPinMux#Board_IDs