From fcd06c6caee00e23603b85f7750f0e3672a236b0 Mon Sep 17 00:00:00 2001
From: Karl Palsson <karlp@tweak.net.au>
Date: Mon, 19 Feb 2018 22:57:34 +0000
Subject: [PATCH] devices.data: add more efm32hg variants

Some of the F32 devices only have 4k RAM
---
 ld/devices.data | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ld/devices.data b/ld/devices.data
index 0be3f386..37eed505 100644
--- a/ld/devices.data
+++ b/ld/devices.data
@@ -288,6 +288,8 @@ efm32zg???f16 efm32zg ROM=16K RAM=4K
 efm32zg???f32 efm32zg ROM=32K RAM=4K
 
 # Happy Gecko
+efm32hg[12]??f32 efm32hg ROM=32K RAM=4K
+efm32hg3??f32 efm32hg ROM=32K RAM=8K
 efm32hg???f64 efm32hg ROM=64K RAM=8K
 
 # Tiny Gecko