How do you set an STM32F4 IRQ handler without using the HAL?
If you use the standard startup code, it defines the vector names. So you write a standard C function with the vector name and that will be the IRQ handler. The HAL just provides the handler for you if you use it.