K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-08-27T09:26:29.111763Z K 7 svn:log V 142 Start to support system calls by adding the kernel side. The system call id is stored in x8 while arguments are passed in registers x0 to x7. END