Last change
on this file since 581 was
439,
checked in by satin@…, 7 years ago
|
Introduice new distributed Makefile architecture.
Remove deprecated sys/ directory
|
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.