Compiled with millions of drivers, filesystems and other functionality that this LiteOS kernel probably doesn't need yes but remove all that and it shrinks vastly in size. If LiteOS only have to support a single piece of hardware then they can remove lots and lots of stuff.