From 2f529f9b558ca1c1bd74be7437a84e4711743404 Mon Sep 17 00:00:00 2001 From: hc <hc@nodka.com> Date: Fri, 01 Nov 2024 02:11:33 +0000 Subject: [PATCH] add xenomai --- kernel/drivers/irqchip/irq-bcm2835.c | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/kernel/drivers/irqchip/irq-bcm2835.c b/kernel/drivers/irqchip/irq-bcm2835.c index a1e004a..bbf1cdb 100644 --- a/kernel/drivers/irqchip/irq-bcm2835.c +++ b/kernel/drivers/irqchip/irq-bcm2835.c @@ -102,7 +102,8 @@ static struct irq_chip armctrl_chip = { .name = "ARMCTRL-level", .irq_mask = armctrl_mask_irq, - .irq_unmask = armctrl_unmask_irq + .irq_unmask = armctrl_unmask_irq, + .flags = IRQCHIP_PIPELINE_SAFE, }; static int armctrl_xlate(struct irq_domain *d, struct device_node *ctrlr, -- Gitblit v1.6.2