Graduation Design Paper (Embedded Operating System Kernel Analysis and Design)