int init(uint64_t magic, uint8_t *multiboot)
{
/* Setup Static Allocation System */
multiboot_info_t *mb_info = (multiboot_info_t*)multiboot;
TID_t startup_thread;
stalloc_init();
/* Setup video printing */
polltty_init();
kwrite("KUDOS - a skeleton OS for exploring OS concepts\n");
kwrite("===============================================\n");
kwrite("\n");
kwrite("KUDOS is heavily based on BUENOS.\n");
kwrite("\n");
kwrite("Copyright (C) 2015-2016 Troels Henriksen, Annie Jane Pinder,\n");
kwrite(" Niels Gustav Westphal Serup, Oleksandr Shturmov,\n");
kwrite(" Nicklas Warming Jacobsen.\n");
kwrite("\n");
kwrite("Copyright (C) 2014 Philip Meulengracht.\n");
kwrite("\n");
kwrite("Copyright (C) 2003-2012 Juha Aatrokoski, Timo Lilja,\n");
kwrite(" Leena Salmela, Teemu Takanen, Aleksi Virtanen.\n");
kwrite("\n");
kwrite("See the file COPYING for licensing details.\n");
kwrite("\n");
/* Setup GDT/IDT/Exceptions */
kprintf("Initializing interrupt handling\n");
interrupt_init(1);
/* Read boot args */
kprintf("Reading boot arguments\n");
bootargs_init((void*)(uint64_t)mb_info->cmdline);
/* Setup Memory */
kprintf("Initializing memory system\n");
physmem_init(multiboot);
vm_init();
/* Seed the random number generator. */
if (bootargs_get("randomseed") == NULL) {
_set_rand_seed(0);
} else {
int seed = atoi((char*)(uint64_t)bootargs_get("randomseed"));
kprintf("Seeding pseudorandom number generator with %i\n", seed);
_set_rand_seed(seed);
}
/* Setup Threading */
kprintf("Initializing threading table\n");
thread_table_init();
kprintf("Initializing sleep queue\n");
sleepq_init();
kprintf("Initializing semaphores\n");
semaphore_init();
/* Start scheduler */
kprintf("Initializing scheduler\n");
scheduler_init();
/* Setup Drivers */
kprintf("Initializing device drivers\n");
device_init();
/* Initialize modules */
kprintf("Initializing kernel modules\n");
modules_init();
kprintf("Initializing virtual filesystem\n");
vfs_init();
kprintf("Creating initialization thread\n");
startup_thread = thread_create(init_startup_thread, 0);
thread_run(startup_thread);
kprintf("Starting threading system and SMP\n");
/* Enter context switch, scheduler will be run automatically,
since thread_switch() behaviour is identical to timer tick
(thread timeslice is over). */
thread_switch();
return 0xDEADBEEF;
}
void mm_init()
{
physmem_init();
paging_init(&mm_phys_pages);
malloc_init();
}
