Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | * Completely Remove the option STOP_NMI from the kernel. This option | attilio | 2009-08-13 | 1 | -0/+1 |
* | Remove ipi_all() and ipi_self() as the former hasn't been used at | marius | 2008-09-28 | 1 | -2/+0 |
* | FreeBSD/mips port. The FreeBSD/mips port targets mips32, mips64, | imp | 2008-04-13 | 1 | -0/+43 |