Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Mark the mostly redundant kernels that just pull | Warner Losh | 2015-11-19 | 1 | -0/+2 |
* | Sync BERI kernel configs with P4: | Brooks Davis | 2013-10-22 | 1 | -15/+5 |
* | Remove the isf(4) driver. It was created by accident and is subset of | Brooks Davis | 2013-10-21 | 1 | -1/+0 |
* | Don't hardcode paths to MFS_IMAGE in the kernel config. When they don't | Brooks Davis | 2012-09-05 | 1 | -1/+0 |
* | Add terasic_de4led, a led(4) driver for the on-board 8-element LED on the | Robert Watson | 2012-08-26 | 1 | -0/+1 |
* | Add terasic_mtl(4), a device driver for the Terasic Multi-Touch LCD, | Robert Watson | 2012-08-25 | 1 | -1/+2 |
* | Add isf(4), a driver for the Intel StrataFlash family of NOR flash parts. | Brooks Davis | 2012-08-25 | 1 | -0/+1 |
* | Don't include syscons in the config just yet. We haven't imported the | Brooks Davis | 2012-08-25 | 1 | -1/+1 |
* | Add reference kernel configurations for FreeBSD/beri in simulation, on the | Robert Watson | 2012-08-25 | 1 | -0/+28 |