Proc vcore list only has available vcores
[akaros.git] / kern / src / init.c
index 0f9870e..1a76999 100644 (file)
 #include <kthread.h>
 #include <console.h>
 #include <linker_func.h>
+#include <ip.h>
+#include <acpi.h>
+#include <coreboot_tables.h>
 
 // zra: flag for Ivy
 int booting = 1;
-
+struct sysinfo_t sysinfo;
 static void run_linker_funcs(void);
 
 void kernel_init(multiboot_info_t *mboot_info)
@@ -72,6 +75,7 @@ void kernel_init(multiboot_info_t *mboot_info)
        radix_init();
        cache_color_alloc_init();       // Inits data structs
        colored_page_alloc_init();      // Allocates colors for agnostic processes
+       acpiinit();
        kthread_init();                                 /* might need to tweak when this happens */
        vmr_init();
        file_init();
@@ -98,7 +102,7 @@ void kernel_init(multiboot_info_t *mboot_info)
 #ifdef CONFIG_ETH_AUDIO
        eth_audio_init();
 #endif /* CONFIG_ETH_AUDIO */
-
+       get_coreboot_info(&sysinfo);
        // zra: let's Ivy know we're done booting
        booting = 0;