os_kernel_lab/related_info/lab0/lab0_ex1.md

#README Try below command

$gcc -S -m32 lab0_ex1.c

Then you will get lab_ex1.S. Try to understand the relation of C file and S file.