Index: kernel/arch/arm32/include/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/mm/frame.h	(revision 612edcab380c7fc950cf3a91c5d8a7f8d6f6a23b)
+++ kernel/arch/arm32/include/mm/frame.h	(revision 077b91722ee4b0aab9a5b3194eaa1107252a19c8)
@@ -56,4 +56,9 @@
 #define BOOT_PAGE_TABLE_ADDRESS  0x80008000
 
+#elif defined MACHINE_beaglebone
+
+#define PHYSMEM_START_ADDR       0x80000000
+#define BOOT_PAGE_TABLE_ADDRESS  0x80008000
+
 #else
 
@@ -65,5 +70,4 @@
 #define BOOT_PAGE_TABLE_START_FRAME     (BOOT_PAGE_TABLE_ADDRESS >> FRAME_WIDTH)
 #define BOOT_PAGE_TABLE_SIZE_IN_FRAMES  (BOOT_PAGE_TABLE_SIZE >> FRAME_WIDTH)
-
 
 extern void frame_low_arch_init(void);
Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision 612edcab380c7fc950cf3a91c5d8a7f8d6f6a23b)
+++ kernel/arch/arm32/include/mm/page.h	(revision 077b91722ee4b0aab9a5b3194eaa1107252a19c8)
@@ -46,5 +46,5 @@
 #define PAGE_SIZE	FRAME_SIZE
 
-#ifdef MACHINE_beagleboardxm
+#if (defined MACHINE_beagleboardxm) || (defined MACHINE_beaglebone)
 #ifndef __ASM__
 #	define KA2PA(x)	((uintptr_t) (x))