all: glinux

glinux:
	cp $(TOPDIR)/vmlinux $(TOPDIR)/glinux
	$(STRIP) $(TOPDIR)/glinux
	gzip -f $(TOPDIR)/glinux
	mv $(TOPDIR)/glinux.gz $(TOPDIR)/glinux

dep:

clean:
	rm -f $(TOPDIR)/glinux
