diff --git a/deploy/sample-backup-configs/sample_config_build.ini b/deploy/sample-backup-configs/sample_config_build.ini
index 71015710..79f3427e 100644
--- a/deploy/sample-backup-configs/sample_config_build.ini
+++ b/deploy/sample-backup-configs/sample_config_build.ini
@@ -26,6 +26,8 @@ fireboom-singlecore-nic-ddr3-llc4mb
 #firesim-supernode-quadcore-nic-ddr3-llc4mb
 firesim-supernode-singlecore-nic-lbp
 fireboom-singlecore-no-nic-ddr3-llc4mb-gg
+# for MICRO 2019 tutorial. May be removed in the future.
+firesim-singlecore-sha3-l2-nic-ddr3-llc4mb
 
 
 [agfistoshare]
@@ -43,6 +45,8 @@ fireboom-singlecore-nic-ddr3-llc4mb
 #firesim-supernode-quadcore-nic-ddr3-llc4mb
 firesim-supernode-singlecore-nic-lbp
 fireboom-singlecore-no-nic-ddr3-llc4mb-gg
+# for MICRO 2019 tutorial. May be removed in the future.
+firesim-singlecore-sha3-l2-nic-ddr3-llc4mb
 
 [sharewithaccounts]
 somebodysname=123456789012