/kernel/trunk/arch/ppc32/Makefile.inc |
---|
45,6 → 45,11 |
CONFIG_OFW = y |
## Compile with hierarchical page tables support. |
# |
CONFIG_PAGE_PT = y |
ARCH_SOURCES = \ |
arch/$(ARCH)/src/console.c \ |
arch/$(ARCH)/src/context.S \ |
/kernel/trunk/arch/ppc32/src/mm/page.c |
---|
26,12 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
#include <arch/types.h> |
#include <arch/mm/page.h> |
#include <genarch/mm/page_pt.h> |
#include <arch/mm/frame.h> |
#include <mm/frame.h> |
#include <mm/page.h> |
#include <arch/types.h> |
void page_arch_init(void) |
{ |
page_operations = &page_pt_operations; |
} |