|
#include <stdlib.h>
|
|
#include <setjmp.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
extern void kinit(void);
|
|
|
|
__attribute__((constructor))
|
|
int _initialize(void)
|
|
{
|
|
printf("early kernel initialisation...");
|
|
|
|
/* initialize drivers and modules */
|
|
kinit();
|
|
|
|
printf("OK\n");
|
|
|
|
return 0;
|
|
}
|