1 // Copyright (c) 2021 Travis Geiselbrecht 2 // 3 // Use of this source code is governed by a MIT-style 4 // license that can be found in the LICENSE file or at 5 // https://opensource.org/licenses/MIT 6 #pragma once 7 8 // Kernel initialization function, called from lk_main. 9 void kernel_init(void); 10