the study review of ARM Linux kernel 3.13.0