main.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef main_h
#define main_h

#include "initcalls.h"

//
// INTERFACE definition follows 
//


class Kernel_thread;
/*
 * Fiasco ia32 / UX
 * Shared main startup/shutdown code
 */


FIASCO_INIT int main(void);

extern "C" void __attribute__ ((noreturn)) _exit(int);

void main_arch();

#endif // main_h

---