+.download_nestedvm:
+ mkdir -p upstream/nestedvm
+ cd upstream/nestedvm; wget -nH -r http://nestedvm.ibex.org/
+ touch $@
+
+.build_nestedvm: .download_nestedvm
+ cd upstream/nestedvm; make
+ touch $@
+
+.install_nestedvm: .build_nestedvm
+ touch $@
+