0.2

Release note

1. Down the minimal version requirement of Vivado to 2015.4.
2. Changed the implementation of the gated clock in FPU, which results in better clock skew and shorter building time.
3. Fixed the bug in SD controller that causes the data in SD card corrupted after the system is booted. The SD card containing OS image can be reused now. Also, the change made in the system now can be kept.

OS image can be found on the release page of v0.1

Known Issue

1. The setup timing checks strangely failed on some paths in the L2 cache, where source code is intact. Those paths look like some false paths but have not sure. Even though having some timing fail, the system just works.
   (Details: #1)
   

Default IO Configuration

FreeBSD license.