Add default novaboot target for measuring

diff --git a/.gitignore b/.gitignore
index 691e7528f2307da1f5905346f71f3fc81ea2d4bb..bd44b7598e1e7eccce81df34865cd99646e041fe 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 *~
 .*
 !.gitignore
+!.novaboot
 
 *.o
 

diff --git a/.novaboot b/.novaboot
new file mode 100644 (file)
index 0000000..0cd421a
--- /dev/null
+++ b/.novaboot
@@ -0,0 +1 @@
+$default_target = 'ryuglab';