Index: kernel/arch/arm32/include/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/mm/frame.h	(revision e1a27be353631edb2bc89c1ec25378d233b4d07e)
+++ kernel/arch/arm32/include/mm/frame.h	(revision 5e761f3f5b0673834135c4074edbe2f0fd8ae9c3)
@@ -50,4 +50,6 @@
 #elif defined MACHINE_beagleboardxm
 #define BOOT_PAGE_TABLE_ADDRESS  0x80008000
+#elif defined MACHINE_beaglebone
+#define BOOT_PAGE_TABLE_ADDRESS  0x80008000
 #else
 #define BOOT_PAGE_TABLE_ADDRESS  0x00008000
@@ -60,4 +62,6 @@
 #define PHYSMEM_START_ADDR	0x30008000
 #elif defined MACHINE_beagleboardxm
+#define PHYSMEM_START_ADDR      0x80000000
+#elif defined MACHINE_beaglebone
 #define PHYSMEM_START_ADDR      0x80000000
 #else
Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision e1a27be353631edb2bc89c1ec25378d233b4d07e)
+++ kernel/arch/arm32/include/mm/page.h	(revision 5e761f3f5b0673834135c4074edbe2f0fd8ae9c3)
@@ -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))