Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 9f8a07d3a0a47a32e88ccb477a2cb7723c9f4934)
+++ HelenOS.config	(revision e1530ec23828c529d8dc15efb5074ba6c08ea173)
@@ -614,7 +614,7 @@
 % uImage OS type
 @ "2" NetBSD stage 2 boot loader
-! [PLATFORM=arm32&MACHINE=beagleboardxm] UIMAGE_OS (choice)
+! [PLATFORM=arm32&(MACHINE=beagleboardxm|MACHINE=beaglebone)] UIMAGE_OS (choice)
 
 % uImage OS type
 @ "5" Linux kernel
-! [PLATFORM=arm32&MACHINE!=beagleboardxm] UIMAGE_OS (choice)
+! [PLATFORM=arm32&MACHINE!=beagleboardxm&MACHINE!=beaglebone] UIMAGE_OS (choice)