Fix and test memcpy

ref #168

Author: jklmnn

ada-runtime

@@ -1,5 +1,6 @@
 with "switches";
 with "basalt";
+with "gneiss";
 
 project Core is
 
@@ -35,8 +36,10 @@ project Core is
    end Compiler;
 
    package Linker is
-      for Default_Switches ("Ada") use ("-Wl,--gc-sections", "-Wl,--print-memory-usage", "-T",
-                                        Gneiss_Root & "/src/core/nRF52832/link.ld");
+      for Default_Switches ("Ada") use ("-Wl,--gc-sections", "-Wl,--print-memory-usage",
+                                        --  "-nostdlib", "-nostdinc",
+                                        --  "-L" & Gneiss_Root & "/ada_runtime/build/nrf52/obj/adalib",
+                                        "-T", Gneiss_Root & "/src/core/nRF52832/link.ld");
    end Linker;
 
    package Binder is

src/core/nRF52832/core.gpr

@@ -1,27 +1,27 @@
 with Serial;
 with Componolit.Runtime.Drivers.GPIO;
-with Sparkfun.Debug;
 
 procedure Main with
    SPARK_Mode
 is
    package GPIO renames Componolit.Runtime.Drivers.GPIO;
-   procedure Debug is new Sparkfun.Debug.Debug (Integer);
-   A : String (1 .. 1024);
+   S1 : String (1 .. 128);
+   function F (P : Positive) return String;
+   function F (P : Positive) return String
+   is
+      S : constant String (1 .. P) := (others => 'X');
+   begin
+      return S & ASCII.CR & ASCII.LF;
+   end F;
 begin
    GPIO.Configure (18, GPIO.Port_Out);
    GPIO.Write (18, GPIO.Low);
-   Sparkfun.Debug.Initialize;
    Serial.Initialize;
-   Debug (1);
-   Serial.Print ("Hello World!");
-   Debug (2);
-   for I in A'Range loop
-      A (I) := 'A';
-   end loop;
-   Serial.Print (A);
-   Debug (3);
-   loop
-      null;
-   end loop;
+   Serial.Print ("Gneiss 0.3.0" & ASCII.CR & ASCII.LF);
+   Serial.Print ("Testing memcpy..." & ASCII.CR & ASCII.LF);
+   S1 := (others => 'X');
+   Serial.Print (S1 & ASCII.CR & ASCII.LF);
+   Serial.Print ("Testing secondary stack..." & ASCII.CR & ASCII.LF);
+   Serial.Print (F (64));
+   Serial.Print ("Finished." & ASCII.CR & ASCII.LF);
 end Main;

src/core/nRF52832/main.adb

@@ -0,0 +1,24 @@
+package body Gneiss.Component with
+   SPARK_Mode => Off
+is
+
+   procedure Construct (Cap : Capability)
+   is
+   begin
+      Component_Construct (Cap);
+   end Construct;
+
+   procedure Destruct
+   is
+   begin
+      Component_Destruct;
+   end Destruct;
+
+   procedure Vacate (Cap    : Capability;
+                     Status : Component_Status)
+   is
+   begin
+      null;
+   end Vacate;
+
+end Gneiss.Component;

src/platform/nRF52832/gneiss-component.adb

@@ -0,0 +1,7 @@
+package Gneiss_Internal with
+   SPARK_Mode
+is
+
+   type Capability is null record;
+
+end Gneiss_Internal;