feat(plat): add platform initialization functions

Add two functions for platforms without firmware support:
- platform_default_init: minimal init required by Bao
- platform_config_init: user-extended platform configuration

Signed-off-by: Daniel Oliveira <[email protected]>

Author: danielRep

src/core/inc/platform.h

@@ -32,4 +32,8 @@ struct platform {
 
 extern struct platform platform;
 
+void platform_init(void);
+void platform_default_init(void);
+void platform_config_init(void);
+
 #endif /* __PLATFORM_H__ */

src/core/init.c

@@ -24,6 +24,8 @@ void init(cpuid_t cpu_id, paddr_t load_addr)
 
     /* -------------------------------------------------------------- */
 
+    platform_init();
+
     console_init();
 
     if (cpu_is_master()) {

src/core/objects.mk

@@ -15,3 +15,4 @@ core-objs-y+=objpool.o
 core-objs-y+=hypercall.o
 core-objs-y+=shmem.o
 core-objs-y+=remio.o
+core-objs-y+=platform.o

src/core/platform.c

@@ -0,0 +1,16 @@
+/**
+ * SPDX-License-Identifier: Apache-2.0
+ * Copyright (c) Bao Project and Contributors. All rights reserved.
+ */
+
+#include <platform.h>
+
+__attribute__((weak)) void platform_default_init(void) { }
+
+__attribute__((weak)) void platform_config_init(void) { }
+
+void platform_init(void)
+{
+    platform_default_init();
+    platform_config_init();
+}