br 7fd7c903a3 Use __uint64_t type for floating point registers ...

as compiler don't know about __uint128_t yet.

Discussed with:	theraven, kib

2016-02-12 14:29:14 +00:00

..

conf

o Move non-generic kernel configuration out from GENERIC.

2016-02-11 13:28:52 +00:00

htif

Stop device enumeration when we see first empty slot.

2016-02-11 11:21:45 +00:00

include

Use __uint64_t type for floating point registers

2016-02-12 14:29:14 +00:00

riscv

Include sys/_task.h into uma_int.h, so that taskqueue.h isn't a

2016-02-09 20:22:35 +00:00