00001 /* 00002 * Copyright (C) Pierre Cloutier <pcloutier@PoseidonControls.com> 00003 * 00004 * This library is free software; you can redistribute it and/or 00005 * modify it under the terms of the version 2 of the GNU Lesser 00006 * General Public License as published by the Free Software 00007 * Foundation. 00008 * 00009 * This library is distributed in the hope that it will be useful, 00010 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00011 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00012 * Lesser General Public License for more details. 00013 00014 * You should have received a copy of the GNU Lesser General Public 00015 * License along with this library; if not, write to the Free Software 00016 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. 00017 */ 00018 00019 00020 /* dummy defines to avoid annoying warning about here unused stuff */ 00021 #define read_cr4() 0 00022 #define write_cr4(x) 00023 /* end of dummy defines to avoid annoying warning about here unused stuff */ 00024 00025 #define CONFIG_RTAI_LXRT_INLINE 0 00026 #include <malloc.h> 00027 #include <rtai_lxrt.h> 00028 #include <rtai_signal.h> 00029 #include <rtai_schedcore.h> 00030 #include <rtai_posix.h> 00031 #ifdef CONFIG_RTAI_DRIVERS_SERIAL 00032 #include <rtai_serial.h> 00033 #endif /* CONFIG_RTAI_DRIVERS_SERIAL */ 00034 #ifdef CONFIG_RTAI_TASKLETS 00035 #include <rtai_tasklets.h> 00036 #endif /* CONFIG_RTAI_TASKLETS */
1.4.7