rtl8139のソース

NICのデバイスドライバのソース

ってどこにあるんですか。そう思っていた時期に調べました。

src/sys/pci/

にPCIのデバイスドライバソースがおいてあります。
これの、if_re.cがrealtek 8139のドライバです。
あ、

src/dev/re

にもあります。っていうかデバイス関係は全て/src/dev/ですかね。

ほかに、インテルのe100とかは

src/sys/dev/ie

にあります。