Rewrite /bin/pci into bash.
authorDan Cross <crossd@gmail.com>
Thu, 4 Aug 2016 21:42:48 +0000 (17:42 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 5 Aug 2016 00:49:37 +0000 (17:49 -0700)
commit1aeac02643f51967cd8b68dd3f3043563a637e5a
tree3144dfecc08f7c6e03d9cff3a80023b5d6883cfd
parent6b68f1a3aff596080ca5246bc918bd486d9c5fdf
Rewrite /bin/pci into bash.

As per Ron's request, this is Harvey's /rc/bin/pci recast as a
'bash' script and made to work with Akaros's '#pci' device.

Change-Id: I46a66155014acaf486270f504ee2e559c8fe33c9
Signed-off-by: Dan Cross <crossd@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/kfs/bin/pci