Update README.md

daejunpark · daejunpark · commit f6afe8401575 · 2015-02-13T01:27:58.000-06:00
diff --git a/README.md b/README.md
@@ -24,6 +24,11 @@ and finding known security vulnerabilities
 
 The following instructions are for standard Debian/Ubuntu distributions.
 
+### 0. Install Basic Dependencies
+
+Install `git`, `maven`, `JDK 1.8`.
+
+
 ### 1. Install K
 
 This semantics is compatible with a customized version of the lastest K framework.
