• Federico Vaga's avatar
    kernel: configure only what is necessary · 0e8cc1a8
    Federico Vaga authored
    This prevent confusion while reading the code because, for example, a
    question: why initialize both timer and tasklet if we can use only one, and
    we cannot change the configuration at run-time?
    
    fd_irq_init:
        setup_timer only if the user requires timer mode, otherwise initialize tasklet
    Signed-off-by: Federico Vaga's avatarFederico Vaga <federico.vaga@cern.ch>
    0e8cc1a8
fd-irq.c 9.84 KB