/*
 *  LM32 Cache Manager Support
 */

#ifndef __LM32_CACHE_h
#define __LM32_CACHE_h

#include <libcpu/cache.h>

#endif
/* end of include file */