# Copyright (c) 2026 Muhammad Waleed Badar
# SPDX-License-Identifier: Apache-2.0

config RASPBERRYPI_FIRMWARE
	bool "Raspberry Pi VideoCore firmware"
	default y
	depends on DT_HAS_RASPBERRYPI_BCM283X_FIRMWARE_ENABLED
	select MBOX
	help
	  Raspberry Pi VideoCore firmware provides a
	  frontend interface through VideoCore mailbox.

if RASPBERRYPI_FIRMWARE

config RASPBERRYPI_FIRMWARE_INIT_PRIORITY
	int "Raspberry Pi VideoCore firmware init priority"
	default 45
	help
	  Must be higher (later) than CONFIG_MBOX_INIT_PRIORITY so the
	  mailbox device is ready before this drivers initialization runs.

endif
