24 lines
431 B
C
24 lines
431 B
C
#include <stdint.h>
|
|
#include <socks/libc/stdio.h>
|
|
#include <socks/init.h>
|
|
#include <socks/console.h>
|
|
#include <socks/machine/init.h>
|
|
#include <socks/machine/cpu.h>
|
|
|
|
static ml_cpu_block g_bootstrap_cpu = {0};
|
|
|
|
void bootstrap_cpu_init(void)
|
|
{
|
|
ml_cpu_block_init(&g_bootstrap_cpu);
|
|
ml_cpu_block_use(&g_bootstrap_cpu);
|
|
}
|
|
|
|
void kernel_init(uintptr_t arg)
|
|
{
|
|
ml_init(arg);
|
|
|
|
for (int i = 0; i < 8; i++) {
|
|
printf("Line %d\n", i);
|
|
}
|
|
}
|