ableos_time/kernel/src/main.rs

#![no_std]
#![no_main]
extern crate kernel;