00001
00009 /* (c) 2005 Technische Universitaet Dresden00010 * This file is part of DROPS, which is distributed under the terms of the00011 * GNU General Public License 2. Please see the COPYING file for details.00012 */00013 #ifndef __SYS_INCLUDE_ARCH_X86_RT_SCHED_H_00014 #define __SYS_INCLUDE_ARCH_X86_RT_SCHED_H_00015
00016 #include <l4/sys/rt_sched-proto.h>00017 #include <l4/sys/rt_sched-impl.h>00018
00019 #endif /* ! __L4_SYS__RT_SCHED_H__ */