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 _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
