Searched refs:et_platform (Results 1 – 3 of 3) sorted by relevance
99 if [ "$et_platform" = "default" ]; then
109 if [ "$et_platform" = "efi" ]; then