cpu specific kernel call

[Michael Grunditz]

Hi,

I have a kernel call that starts RISC OS, and uses psci. I wonder , where 
should I put that very aarch64 dependent code. I somehow need to be able 
to call it from userspace.

Regarding kernel calls in general , what is the best way of calling them? 
Right now I do "MOV x0,#number ; SVC" , probably not very Genode style! :)




-- 
       Michael Grunditz
Sent from my RISC OS workstation..