embox
1package embox.driver.mailbox
2
3module bcm2835_mailbox {
4option number base_addr = 0x2000B880
5
6@IncludeExport(path="drivers/mailbox")
7source "bcm2835_mailbox.h"
8
9source "bcm2835_mailbox.c"
10}
11
12module bcm2835_mailbox_property {
13@IncludeExport(path="drivers/mailbox")
14
15source "bcm2835_mailbox_property.h"
16source "bcm2835_mailbox_property.c"
17
18depends embox.driver.mailbox.bcm2835_mailbox
19}
20