kern/arch/x86/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_ARCH_MMU_H */