Files
lk/kernel/init.c
Travis Geiselbrecht 85a50ea3f4 [kernel][license] try out using a smaller version of the license header
Replace the body of the MIT license with a reference to the LICENSE file
and a URL with the MIT license. Replaces 20 something lines with 3.

No functional change.
2019-06-19 23:28:14 -07:00

37 lines
859 B
C

/*
* Copyright (c) 2013 Travis Geiselbrecht
*
* Use of this source code is governed by a MIT-style
* license that can be found in the LICENSE file or at
* https://opensource.org/licenses/MIT
*/
#include <lk/compiler.h>
#include <lk/debug.h>
#include <kernel/debug.h>
#include <kernel/thread.h>
#include <kernel/timer.h>
#include <kernel/mp.h>
#include <kernel/port.h>
void kernel_init(void) {
// if enabled, configure the kernel's event log
kernel_evlog_init();
// initialize the threading system
dprintf(SPEW, "initializing mp\n");
mp_init();
// initialize the threading system
dprintf(SPEW, "initializing threads\n");
thread_init();
// initialize kernel timers
dprintf(SPEW, "initializing timers\n");
timer_init();
// initialize ports
dprintf(SPEW, "initializing ports\n");
port_init();
}