source: trunk/tools/bootloader_tsar/boot_test/kern_test_init.c @ 1

Last change on this file since 1 was 1, checked in by alain, 5 years ago

First import

File size: 542 bytes
Line 
1/****************************************************************************
2 * This file contains a minimal kernel used for testing the boot-loader.    *
3 ****************************************************************************/
4
5#include <boot-info.h>
6#include <boot_types.h>
7#include <boot_utils.h>
8
9__attribute__((section(".kdata"))) boot_info_t boot_info;
10
11__attribute__((section(".kinit"))) void        kern_test_init()
12{
13    if (boot_get_procid() == 0)
14        boot_printf("\nBSCPU reached the kernel !!!!!\n");
15
16    while (1);
17}
Note: See TracBrowser for help on using the repository browser.