Raphio new kernel (RNK) targeting ARM architecture.