if TARGET_PLUTUX config SYS_BOARD default "plutux" config SYS_VENDOR default "avionic-design" config TEGRA_BOARD_STRING string "Default Tegra board name" default "Avionic Design Plutux" endif