Generate board interface code in Makefiles.

  * arduino-due/Makefile: generate hardware interface from SVD.
  * microbit/Makefile: likewise.
  * stm32f4/Makefile: likewise.
  * stm32f429i/Makefile: likewise.

  * arduino-due/atsam3x8e/*: regenerated.
  * microbit/nrf51/*: regenerated.
  * microbit/nrf51/nrf51-interrupts.adb: removed.
  * microbit/nrf51/nrf51-interrupts.ads: likewise.
  * stm32f4/stm32f40x/*: regenerated.
  * stm32f429i/stm32f429x/*: regenerated.

  * arduino-due/adainclude/startup-set_up_clock.adb: register type
      name changed.
  * microbit/adainclude/nrf51_clock.adb (Start): likewise.
  * microbit/build_runtime.gpr (Compiler): apply -gnatwU to
      nrf51_swi.ads (System was withed but not used).

arduino-due/Makefile

@@ -16,13 +16,22 @@
 # along with this program; see the file COPYING3. If not, see
 # <http://www.gnu.org/licenses/>.
 
-all:
+SVD2ADA ?= ~/adacore/svd2ada
+
+all: atsam3x8e
 	gprbuild -p -P build_runtime.gpr
 
+atsam3x8e:
+	$(SVD2ADA)/svd2ada			\
+	  --output=atsam3x8e			\
+	  --no-vfa-on-types			\
+	$(SVD2ADA)/CMSIS-SVD/ATMEL/ATSAM3X8E.svd
+
 install: all
 	gprinstall -p -P build_runtime.gpr -f
 
 clean:
-	gprclean -P build_runtime.gpr
+	-gprclean -P build_runtime.gpr
+	rm -rf atsam3x8e
 
 .PHONY: all install clean

arduino-due/adainclude/startup-set_up_clock.adb

@@ -1,4 +1,4 @@
---  Copyright (C) 2016 Free Software Foundation, Inc.
+--  Copyright (C) 2016, 2020 Free Software Foundation, Inc.
 --
 --  This file is part of the Cortex GNAT RTS project. This file is
 --  free software; you can redistribute it and/or modify it under
@@ -34,7 +34,7 @@ procedure Set_Up_Clock is
 begin
    --  Set Flash wait states (FWS) to 4 in both banks
    declare
-      FMR : FMR_Register;
+      FMR : EFC0_FMR_Register;
    begin
       FMR             := EFC0_Periph.FMR;
       FMR.FWS         := 4;