OpenCL 19.3 SD Card image for Intel Arria 10 Development Kit

Hi,

Regarding the dtc command, yes the .dtb file is generated, so I will just ignore the errors.

Regarding the error when compiling the driver, yes as mentioned, I have already applied the fix stated in the manual. The manual fixes the error 'too many arguments' by calling 'get_user_pages_remote' instead of 'get_user_pages_unlocked'. However, after this fix, I get the error 'too few arguments'. In the newer version of Linux, it needs an additional pointer to an integer, which is named 'locked'. Since the original call is 'get_user_pages_unlocked', should it then just be a pointer to a 0? or something else?

Regarding the bsp-editor, I do not see a folder named 'hps_isw_handoff' within the base compile. Is this because I am using 19.3 where I should be using 19.1, or is there something else I should do? The guide on rocketboard states that '(From 19.3 onwards U-boot would not be built from SOCEDS please look at CompilingLinux section for more information)'.