/src/mainboard/scaleway/tagada/

• ../
• Kconfig
• Kconfig.name
• Makefile.inc
• acpi
• acpi_tables.c
• bmcinfo.c
• bmcinfo.h
• board_info.txt
• bootblock.c
• devicetree.cb
• dsdt.asl
• gpio.h
• gpio_defs.h
• hsio.c
• hsio.h
• ramstage.c
• romstage.c