Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision c88250553aba5820e5ea6bf156edf1ed176d8737)
+++ HelenOS.config	(revision 44b2b78be3d89c7a81b12bc1276fd80e28175892)
@@ -505,4 +505,7 @@
 ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial)&PLATFORM=arm32&MACHINE=beagleboardxm] CONFIG_AMDM37X_UART (y/n)
 
+% Support for BCM2835 mailbox
+! [PLATFORM=arm32&MACHINE=raspberrypi] CONFIG_BCM2835_MAILBOX (y/n)
+
 % Support for i8042 controller
 ! [CONFIG_PC_KBD=y] CONFIG_I8042 (y)