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

[Matthias Lange]

Hi,

On [01-11-2019 18:44], Sateesh K wrote:
> 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.

A .dtb (device tree blob) file is a compiled version of a .dts (device tree
source) file. This is done using the dtc (device tree compiler).

You have to write the dts file manually. You can take inspiration from the
Raspberry Pi 3 B native device tree from Linux and add the devices necessary
for the SD card to your dts file.

Best,
Matthias.

> Best Regards,
> Sateesh Kalidas