http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008421.html

1 Nov 2019

      Hi,
  I am trying to bring up Raspberry Pi 3 B peripherals (specifically SD
card) onto the linux which is onto of Fiasco.OC. I have read the following
thread which is close to what I am doing.
http://os.inf.tu-dresden.de/pipermail/l4-hackers/2019/008421.html.

 I have a question, how to get a .dtb file. Please help.

Best Regards,
Sateesh Kalidas

LinkedIn : http://linkedin.com/in/sateeshkalidas
<https://www.linkedin.com/in/sateeshkalidas>

Twitter: https://twitter.com/sats34