mini-os target is added to the toplevel makefile