/*
 * or1k Cache Manager Support
 */

#ifndef __OR1K_CACHE_H
#define __OR1K_CACHE_H

#include <libcpu/cache.h>

#endif
/* end of include file */