OpenCL + Cyclone V SoC

I'm making progress of a sort. I persuaded 3.9 to run on a SoCKit as follows:

1. Start with the new 3.9 SD card image for the Altera Cyclone V dev board from: http://www.rocketboards.org/foswiki/documentation/gsrdreleasenotes

2. Replace the preloader, DTB and RBF with versions copied from the SoCKit Linaro build found at: http://www.rocketboards.org/foswiki/projects/sockitlinarolinuxdesktop

3. Clone git.rocketboards.org/linux-socfpga.git, check out socfpga-3.9.rel, then built a fresh zImage which is also copied onto the SD card

That allowed me to boot 3.9 on my SoCKit, and installing the Quartus Stratix V drivers allowed me to finally build the OpenCL "Hello World" example. Unfortunately when I run it Linux unceremoniously crashes!

root@socfpga:~# ls
README            aclsoc_load       altera            hello_world.aocx
aclsoc_drv.ko     aclsoc_unload     hello_world       user
root@socfpga:~# ./aclsoc_load
root@socfpga:~# ./hello_world
Reprogramming was successful!
FPGA is in user mode. Enabling bridges

or alternatively:

root@socfpga:~# ./aclsoc_load
root@socfpga:~# ls /dev/a*
/dev/acl
root@socfpga:~# ./user
Opened the device: file handle# 3!
Unhandled fault: imprecise external abort (0x406) at 0x76ec786e
Internal error: : 406  SMP ARM
Modules linked in: aclsoc_drv(O)
CPU: 1    Tainted: G           O  (3.9.0-00161-ged01b8c# 4)
PC is at aclsoc_read_small+0x44/0xf4 
LR is at aclsoc_rw+0x38c/0x3ec 
pc :     lr :     psr: 60000013
sp : bf1efeb0  ip : 00000000  fp : bf1efec4
r10: 00000018  r9 : bf1ee000  r8 : 00000000
r7 : bf1efef8  r6 : 00000002  r5 : bf0cb600  r4 : 00000001
r3 : 00000000  r2 : 00000001  r1 : 7edbfc5f  r0 : c09d0000
Flags: nZCv  IRQs on  FIQs on  Mode SVC_32  ISA ARM  Segment user
Control: 10c5387d  Table: 3fb2c04a  DAC: 00000015
Process user (pid: 698, stack limit = 0xbf1ee240)
Stack: (0xbf1efeb0 to 0xbf1f0000)
fea0:                                     00000000 00000018 bf1eff3c bf1efec8
fec0: 7f001d08 7f001660 bf1efef4 00000001 00000004 00000007 bf1ee000 bf0cb64c
fee0: 76e5a7bc bf1effb0 c09d0000 00000001 bf1effac 00000000 00000000 00000000
ff00: 00010000 7edbfc5f 00000001 00000000 802a65ac bf13b000 7edbfc44 bf1eff78
ff20: 7edbfc44 00000000 bf1ee000 00000018 bf1eff54 bf1eff40 7f001d8c 7f001988
ff40: 00000001 00000018 bf1eff74 bf1eff58 800f143c 7f001d74 bf1eff78 00000000
ff60: 00000000 bf13b000 bf1effa4 bf1eff78 800f1554 800f13a4 00000000 00000000
ff80: 00000000 7edbfd08 0000849d 00000003 8000ea08 00000000 00000000 bf1effa8
ffa0: 8000e7c0 800f1514 00000000 7edbfd08 00000003 7edbfc44 00000018 7edbfc44
ffc0: 00000000 7edbfd08 0000849d 00000003 00000000 00000000 76f06000 00000000
ffe0: 00000000 7edbfc2c 000085c9 76e8a1cc 40000010 00000003 3200004a 0002f7d2
 (aclsoc_read_small+0x44/0xf4 ) from  (acls)
 (aclsoc_rw+0x38c/0x3ec ) from  (aclsoc_rea)
 (aclsoc_read+0x24/0x2c ) from  (vfs_read+0)
 (vfs_read+0xa4/0xe4) from  (sys_read+0x4c/0x80)
 (sys_read+0x4c/0x80) from  (ret_fast_syscall+0x0/0x30)
Code: e24bd00c e89da800 e5d0c000 f57ff04f (e1a0000d) 
------
aclsoc_close (191): 
aclsoc = bf0cb600, pid = 698, dma_idle = 1