fix build

Author: grg-haas

mkutils/plat/generic/run.mk

@@ -19,7 +19,7 @@ QEMU_FLAGS := -m $(QEMU_MEM) -smp $(QEMU_SMP) -display none \
                 -netdev user,id=net0,net=192.168.100.1/24,dhcpstart=192.168.100.128,hostfwd=tcp::$(QEMU_PORT)-:22 \
                 -device virtio-net-device,netdev=net0 \
                 -device virtio-rng-pci \
-                -serial stdio -serial file:/tmp/serial.out
+                -serial mon:stdio -serial file:/tmp/serial.out
 
 ifneq ($(KEYSTONE_DEBUG),)
         QEMU_FLAGS += $(QEMU_DEBUG)

sm/src/platform/fpga/ariane/platform.h

@@ -22,6 +22,11 @@ struct platform_enclave_data{
 // CPU configuration
 #define MAX_HARTS               5
 
+// Device configuration
+#define DEV_NAMELEN             64
+#define NUM_SECURE_DEVS         8
+#define NUM_NONSECURE_DEVS      8
+#define NUM_DISABLED_DEVS       8
 
 // Initialization functions
 void sm_copy_key(void);