all:
	@echo "this is Fabrice Bellard's unbelievable linux kernel in a browser"

wget-javascript:
	rm -f *.js
	wget -c https://bellard.org/jslinux/term.js
	wget -c https://bellard.org/jslinux/jslinux.js
	wget -c https://bellard.org/jslinux/x86emu-wasm.js
	wget -c https://bellard.org/jslinux/riscvemu64-wasm.js
	wget -c https://bellard.org/jslinux/riscvemu32-wasm.js

wget-cfg-files:
	rm -f *.cfg
	wget -c https://bellard.org/jslinux/alpine-x86.cfg
	wget -c https://bellard.org/jslinux/alpine-x86-xwin.cfg
	wget -c https://bellard.org/jslinux/win2k.cfg
	wget -c https://bellard.org/jslinux/freedos.cfg
	wget -c https://bellard.org/jslinux/buildroot-riscv64.cfg
	wget -c https://bellard.org/jslinux/buildroot-riscv64-xwin.cfg
	wget -c https://bellard.org/jslinux/fedora33-riscv.cfg
	wget -c https://bellard.org/jslinux/fedora33-riscv-xwin.cfg

wget-bin:
	rm -f *.bin
	wget -c https://bellard.org/jslinux/kernel-x86.bin
	wget -c https://bellard.org/jslinux/bbl64.bin
	wget -c https://bellard.org/jslinux/kernel-riscv64.bin
	wget -c https://bellard.org/jslinux/bios.bin
	wget -c https://bellard.org/jslinux/vgabios.bin