kern/arch/riscv/mmu.h

#ifndef ROS_ARCH_MMU_H
#define ROS_ARCH_MMU_H

/* til we remove this file, unless we have some kernel-only stuff later */
#include <ros/arch/mmu.h>

#endif /* !ROS_INC_MMU_H */