ableos_time/kernel/src/main.rs

#![no_std]
#![no_main]

extern crate kernel;