Index: sdk/config/leahi/local.conf.sample
===================================================================
diff -u -raaef25cac57f60aea1efa30e78008f6b5e98f009 -ra197b4dc093cae61afe5837b8036fe26eee6f469
--- sdk/config/leahi/local.conf.sample	(.../local.conf.sample)	(revision aaef25cac57f60aea1efa30e78008f6b5e98f009)
+++ sdk/config/leahi/local.conf.sample	(.../local.conf.sample)	(revision a197b4dc093cae61afe5837b8036fe26eee6f469)
@@ -37,7 +37,7 @@
 # This sets the default machine to be qemux86-64 if no other machine is selected:
 #MACHINE ??= "qemux86-64"
 
-MACHINE = "leahi"
+MACHINE = "ccimx8mm-dvk"
 
 #
 # Use Digi's internal git repositories