Tiny Core Linux: A Barebone Linux Distro That Boots Very Fast