java_sources += build/java/org/ibex/nestedvm/Registers.java
java_sources += build/java/org/ibex/nestedvm/Runtime.java
java_sources += build/java/org/ibex/nestedvm/UsermodeConstants.java
java_sources += build/java/org/ibex/nestedvm/Registers.java
java_sources += build/java/org/ibex/nestedvm/Runtime.java
java_sources += build/java/org/ibex/nestedvm/UsermodeConstants.java