// Copyright 2016 The Fuchsia Authors
// 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 "kernel/init.h"

#include <debug.h>
#include <zircon/compiler.h>

#include <kernel/mp.h>
#include <kernel/thread.h>
#include <kernel/timer.h>

void kernel_init(void) {
  dprintf(SPEW, "initializing mp\n");
  mp_init();
}