RTEMS | bsps/arm/raspberrypi: Fix IRQ dispatch with bank-1 IRQ pending (!1542)

[Miroslaw Dach (@mirek23)]

Miroslaw Dach commented: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1542#note_161326


## Generative AI

Yes, generative AI was used.

- Prompt: None. The work came out of an interactive session over several
  days (debugging an EPICS IOC on RTEMS/Raspberry Pi 3B+), not a single
  prompt.
- Model: Anthropic Claude, via the Claude Code assistant.
- How it was used: the assistant helped design the instrumentation that
  located the fault (a RAM trace of interrupt-controller reads surviving
  the watchdog reset), identified the ffs() on the unmasked IRQ_BASIC
  value in bsp_interrupt_dispatch() as the cause, proposed the one-line
  mask, and drafted the commit message and this description. I reviewed
  the analysis against the BCM2835 documentation and the BSP source,
  built the patched kernel, and did all testing on the hardware (more
  than 15 h and 17 h of continuous operation under USB load, versus a
  freeze within a minute before). I understand the change and take
  responsibility for it.
- I have not used a product that claims copyright on its output, and I
  have legitimate access to the tool (a paid Anthropic subscription).

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1542#note_161326
You're receiving this email because of your account on gitlab.rtems.org. Unsubscribe from this thread: https://gitlab.rtems.org/-/namespace/49/sent_notifications/6-82ezwfmkbpnw5xznfni9cb06z-1d/unsubscribe | Manage all notifications: https://gitlab.rtems.org/-/profile/notifications | Help: https://gitlab.rtems.org/help


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20261020/c9602f56/attachment.htm>