Brillo Os

[shreeharsha I]

Hi,
Can any one tell me where is the mux configuration file for intel edison board in edison u-boot. I want to configure gpio pins for sdcard interface.

Thanks in advance,
Regards,
Shreeharsha I