From 64fecf09b7cc994269a6905eb140576539a6b482 Mon Sep 17 00:00:00 2001
From: mwojcik <mw@m-labs.hk>
Date: Fri, 3 Dec 2021 19:20:54 +0800
Subject: [PATCH] restore kasli-soc satellite variant check

---
 default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.nix b/default.nix
index 777f7867..ce21cbdb 100644
--- a/default.nix
+++ b/default.nix
@@ -9,6 +9,9 @@ let
   # FSBL configuration supplied by Vivado 2020.1 for these boards:
   fsblTargets = ["zc702" "zc706" "zed"];
   sat_variants = [
+    # kasli-soc satellite variants
+    "satellite"
+    # zc706 satellite variants
     "nist_clock_satellite" "nist_qc2_satellite" "acpki_nist_clock_satellite" "acpki_nist_qc2_satellite" 
     "nist_clock_satellite_100mhz" "nist_qc2_satellite_100mhz" "acpki_nist_clock_satellite_100mhz" "acpki_nist_qc2_satellite_100mhz"
   ];