java_sources := $(patsubst src/%.java, build/java/%.java, $(java_src_sources))
java_sources += build/java/org/ibex/nestedvm/util/Seekable.java
+java_sources += build/java/org/ibex/nestedvm/util/Platform.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