Introduce intermediate build target for std.
This gives a place for common functions to be defined.
Change-Id: Ifac38e647ab1042a00d224a58e28a0e6807fa60c
diff --git a/src/main.c b/src/main.c
index 02fc0a8..1df1802 100644
--- a/src/main.c
+++ b/src/main.c
@@ -18,7 +18,6 @@
#include <stddef.h>
#include "hf/arch/init.h"
-#include "hf/arch/std.h"
#include "hf/api.h"
#include "hf/boot_params.h"
@@ -29,6 +28,7 @@
#include "hf/mm.h"
#include "hf/mpool.h"
#include "hf/panic.h"
+#include "hf/std.h"
#include "hf/vm.h"
#include "vmapi/hf/call.h"