Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 277 | logplain |
-rw-r--r-- | Makefile.inc | 211 | logplain |
-rw-r--r-- | pci_user-uio_linux.c | 8320 | logplain |
-rw-r--r-- | rumpcomp_userfeatures_pci.h | 82 | logplain |
index : rumpkernel-debian.git | ||
rumpkernel: netbsd kernel drivers in userspace |
summaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 277 | logplain |
-rw-r--r-- | Makefile.inc | 211 | logplain |
-rw-r--r-- | pci_user-uio_linux.c | 8320 | logplain |
-rw-r--r-- | rumpcomp_userfeatures_pci.h | 82 | logplain |