Thank you very much, that would be really helpful. However, the ADC1 interrupt doesn't seem to work still since my results are as follows:
Current Buffer index the ISR is writing to: 905 0
[4095, 0] [ 0, 0] [4095, 0] [ 0, 0] [4095, 0] [ 0, 0] [4095, 0] [ 0, 0]...