I believe that any Linux distribution which supports the platform such as raspbian should have the file? This is the freebsd approach now as far as I know.
Russ Sent from my BlackBerry 10 smartphone on the Virgin Mobile network. Original Message From: JunBeom Kim (EmbedCoreTech) Sent: Monday, April 9, 2018 10:50 PM To: 'Sebastian Huber'; email@example.com Subject: RE: RTEMS booting problem for PICO-PI-IMX7 board. Dear Huber, I think that it is another option. But, I think that device tree based probing for ARMv7A GIC, timer, serial is best approach. I want to use device tree based probing method continuously. If possible, please could you send me imx7d-sdb.dtb file which you are using ? Best Regards, JunBeom Kim -----Original Message----- From: Sebastian Huber <sebastian.hu...@embedded-brains.de> Sent: Tuesday, April 10, 2018 2:28 PM To: JunBeom Kim (EmbedCoreTech) <jb...@e-coretech.kr>; firstname.lastname@example.org Subject: Re: RTEMS booting problem for PICO-PI-IMX7 board. Hello Kim, maybe you can temporarily disable the device tree based probing and use a hard coded console device. -- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone : +49 89 189 47 41-16 Fax : +49 89 189 47 41-09 E-Mail : sebastian.hu...@embedded-brains.de PGP : Public key available on request. Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. _______________________________________________ users mailing list email@example.com http://lists.rtems.org/mailman/listinfo/users _______________________________________________ users mailing list firstname.lastname@example.org http://lists.rtems.org/mailman/listinfo/users