00001 /*****************************************************************************/ 00010 /*****************************************************************************/ 00011 00012 /* (c) 2003 Technische Universitaet Dresden 00013 * This file is part of DROPS, which is distributed under the terms of the 00014 * GNU General Public License 2. Please see the COPYING file for details. 00015 */ 00016 #ifndef LOADER_EVENTS_H 00017 #define LOADER_EVENTS_H 00018 00019 #include <l4/sys/types.h> 00020 00021 /***************************************************************************** 00022 *** config 00023 *****************************************************************************/ 00024 00028 #define _LOADER_EVENT_THREAD_NO (5) 00029 00033 #define _LOADER_EVENT_THREAD_PRIORITY (13) 00034 00035 /***************************************************************************** 00036 *** prototypes 00037 *****************************************************************************/ 00038 00039 /* init event handling */ 00040 int 00041 init_events(void); 00042 00043 /* send exit event */ 00044 int events_send_kill(l4_threadid_t task); 00045 00046 #endif /* LOADER_EVENTS_H */ 00047