Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge the common parts of the SOCKIT and SOCKIT-BERI kerenel, and mark the | Andrew Turner | 2015-04-03 | 1 | -114/+1 |
* | Remove "New" label from NFSCL/NFSD now that they are the only NFS | John Baldwin | 2015-01-06 | 1 | -1/+1 |
* | Switch all arm kernels with option SMP to use SCHED_ULE instead of 4BSD. | Ian Lepore | 2015-01-03 | 1 | -1/+1 |
* | tart to clean up the armv6 kernel configs by reducing the diff between | Andrew Turner | 2014-12-21 | 1 | -28/+31 |
* | o Add BERI Virtio Networking Frontend (if_vtbe) | Ruslan Bukin | 2014-12-09 | 1 | -0/+1 |
* | Add new devices to the config. | Ruslan Bukin | 2014-11-25 | 1 | -0/+2 |
* | Provide a character device allowing us to access BERI memory regions. | Ruslan Bukin | 2014-10-22 | 1 | -0/+1 |
* | Add driver for Micrel KSZ9021 Gigabit Ethernet Transceiver (PHY). | Ruslan Bukin | 2014-10-21 | 1 | -0/+1 |
* | Add driver for BERI soft processor 'ring buffer' device. | Ruslan Bukin | 2014-10-19 | 1 | -0/+140 |