-.build_nestedvm: .vendor .download_nestedvm
- cd upstream/nestedvm; make usr=$(shell pwd)/upstream/install all env.sh
- touch $@
-
-.install_nestedvm: .build_nestedvm
- touch $@
-
-.download_org.ibex.crypto:
- mkdir -p upstream/org.ibex.crypto
- cd upstream/org.ibex.crypto; wget -l 99 -nH -r http://crypto.ibex.org/