00001 00008 /* (c) 2004 Technische Universität Dresden 00009 * This file is part of DROPS, which is distributed under the terms of the 00010 * GNU General Public License 2. Please see the COPYING file for details. */ 00011 00012 #ifndef __L4_UTIL__ARCH_ARM__CPU_H__ 00013 #define __L4_UTIL__ARCH_ARM__CPU_H__ 00014 00015 /* Nothing yet */ 00016 00017 #endif /* __L4_UTIL__ARCH_ARM__CPU_H__ */