vc4 simple kernel

vck_1.c

#include <pi.h>
#include <stdio.h>

int main(void) { /* no args passed */
  int x = pi_kernel_parameters->r3; /*task number*/
  pi_kernel_parameters->r0[x]= pi_kernel_parameters->r1[x]+pi_kernel_parameters->r2[x]; /* compute */
  exit(EXIT_SUCCESS); /*exiting */
  return 0; /* exit() does nothing with an old buggy version, attempt to fix it */
}