aboutsummaryrefslogtreecommitdiff
path: root/sys/arm/conf/SOCKIT-BERI
Commit message (Expand)AuthorAgeFilesLines
* arm: Remove SOCFPGA specific kernel configsEmmanuel Vadot2023-03-171-37/+0
* sys/*/conf/*, docs: fix links to handbookCeri Davies2021-05-201-1/+1
* Update several more URLsEitan Adler2017-10-291-2/+2
* Add support for Intel Arria 10 SoC Development Kit.Ruslan Bukin2017-02-281-2/+4
* Merge the common parts of the SOCKIT and SOCKIT-BERI kerenel, and mark theAndrew Turner2015-04-031-114/+1
* Remove "New" label from NFSCL/NFSD now that they are the only NFSJohn Baldwin2015-01-061-1/+1
* Switch all arm kernels with option SMP to use SCHED_ULE instead of 4BSD.Ian Lepore2015-01-031-1/+1
* tart to clean up the armv6 kernel configs by reducing the diff betweenAndrew Turner2014-12-211-28/+31
* o Add BERI Virtio Networking Frontend (if_vtbe)Ruslan Bukin2014-12-091-0/+1
* Add new devices to the config.Ruslan Bukin2014-11-251-0/+2
* Provide a character device allowing us to access BERI memory regions.Ruslan Bukin2014-10-221-0/+1
* Add driver for Micrel KSZ9021 Gigabit Ethernet Transceiver (PHY).Ruslan Bukin2014-10-211-0/+1
* Add driver for BERI soft processor 'ring buffer' device.Ruslan Bukin2014-10-191-0/+140