Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2025-02-04 17:15:19 -05:00
Code Issues Packages Projects Releases Wiki Activity

PoC: Remove IRQ30 from fw/irqpoc_led_toggle

Browse Source 
Removing IRQ30 since it us no longer exist
This commit is contained in:
Mikael Ågren 2024-12-17 13:09:24 +01:00
parent 5638969f4f
commit a7c9250166
No known key found for this signature in database
GPG Key ID: E02DA3D397792C46
1 changed files with 11 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
hw/application_fpga/fw/irqpoc_led_toggle/start.S
View File

@ -3,16 +3,15 @@
* SPDX-License-Identifier: GPL-2.0-only
*/
// Triggers both interrupts, one after the other, in an endless loop. The
// interrupt handler updates the LED color depending on which interrupt
// was triggered.
// Example firmware demonstrating setting the LED from the interrupt handler.
// The LED color will alterate between blue and green.
// The color will be RED if an interrupt is triggered by an unexpected source.
//
// | IRQ number | Color |
// |------------|-------|
// | 30 | Blue |
// | 31 | Green |
// | Unexpected | Red |
// | Color | Execution context |
// |-------|-------------------|
// | Blue | Firmware loop |
// | Green | IRQ31 |
// | Red | Unexpected IRQ |
//
#include "custom_ops.S" // PicoRV32 custom instructions
@ -27,14 +26,6 @@ _start:
irq_handler:
// PicoRV32 stores the IRQ bitmask in x4.
// If bit 31 is 1: IRQ31 was triggered.
// If bit 30 is 1: IRQ30 was triggered.
irq30_check:
li t4, (1 << 30)
bne x4, t4, irq31_check
call led_blue
call delay
j irq_source_check_done
irq31_check:
li t4, (1 << 31)
bne x4, t4, unexpected_irq
call led_green
@ -48,17 +39,17 @@ irq_source_check_done:
init:
li t0, 0x3fffffff // IRQ31 & IRQ30 mask
li t0, 0x7fffffff // IRQ31 mask
picorv32_maskirq_insn(zero, t0) // Enable IRQs
irq_trigger_loop:
call led_blue
call delay
li t0, 0xe1000000 // IRQ31 trigger address
sw zero, 0(t0) // Raise IRQ by writing to interrupt trigger address.
// Writing any data triggers an interrupt.
li t0, 0xe0000000 // IRQ30 trigger address
sw zero, 0(t0) // Raise IRQ by writing to interrupt trigger address.
// Writing any data triggers an interrupt.
j irq_trigger_loop
led_red: