K 10 svn:author V 2 br K 8 svn:date V 27 2014-12-17T11:36:31.264214Z K 7 svn:log V 166 Add configuration files for BERI soft-core synthesized on Terasic SoCKit board (Altera FPGA). Use virtio block as root filesystem device. Sponsored by: DARPA, AFRL END