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