Raspberry Pi with VC4CL

Platform #0 name: OpenCL for the Raspberry Pi VideoCore IV GPU, version: OpenCL 1.2 VC4CL 0.4
    Device #0 (0) name:     VideoCore IV GPU
    Device vendor:          Broadcom
    Device type:            GPU (LE)
    Device version:         OpenCL 1.2 VC4CL 0.4
    Driver version:         0.4 
    Native vector widths:   char 16, short 16, int 16, long 0
    Preferred vector width: char 16, short 16, int 16, long 0
    Global Memory:          32.0 MB
    Global Memory Cache:    32.0 KB
    Local Memory:           32.0 MB (Global)
    Max memory alloc. size: 32.0 MB
    Max clock (MHz):        300
    Profiling timer res.:   1 ns
    Max Work Group Size:    12
    Parallel compute cores: 1
    Stream processors:      16  (1 x 16)
    Speed index:            4800

terminate called without an active exception
Aborted