Forum Discussion

CAlex's avatar
CAlex
Icon for Contributor rankContributor
3 years ago

How to setup a time interrupt on de10 standard using C language

Hi, I'm a rookie of the SoCFPGA and I wanted to use it to build a FSM in HPS. I have already finished building the system design as "User Manu" said and get the hps_0.h header file out. I built my ...
CAlex's avatar
CAlex
Icon for Contributor rankContributor
3 years ago

Hi,

Yes, I wrote a kernel module to create an interrupt request.(which should be irq 73)

But I can't insmod the module for stack overflow.

Then I checked the other GIC turtour and it turns to be 72+personal_irq_num-32 = 41.

And when I checked the /proc/interrupt, there is an irq already. I assume it's duel to the DTB setting.

Now I wonder is that means I have to update the DTB file for my linux?

Thank you for all your help by the way.

Having a nice day

Reguards.