2017-05-20 14:06:26 +02:00
|
|
|
extern void startboot(int, char**);
|
2016-11-25 17:18:40 +01:00
|
|
|
|
|
|
|
void
|
2017-05-20 14:06:26 +02:00
|
|
|
main(int argc, char**argv)
|
2016-11-25 17:18:40 +01:00
|
|
|
{
|
2017-05-20 14:06:26 +02:00
|
|
|
startboot(argc, argv);
|
2016-11-25 17:18:40 +01:00
|
|
|
}
|