Student Project for the Embedded Operating Systems Course at KAIST