Added IVY support for kmalloc, mptables, pci, string.h (string.h from Zach)
authorPaul Pearce <pearce@eecs.berkeley.edu>
Wed, 19 Aug 2009 02:16:19 +0000 (19:16 -0700)
committerPaul Pearce <pearce@eecs.berkeley.edu>
Wed, 19 Aug 2009 02:16:19 +0000 (19:16 -0700)
commitec9498e6a09abe0bec4b3d281c72c9caa38ea5ab
tree901a5ac6fe6811a4b655c3e5fbfc7a5242c7d2de
parentb55514599381938a6416fbc6e80e082763e8559b
Added IVY support for kmalloc, mptables, pci, string.h (string.h from Zach)

Included Zach's string.h annotations.

Rewrote mptables to work with ivy. This involved some minor restructoring. Also added IVY to PCI which required no code changes

Added kmalloc annoations.

Added
kern/include/kmalloc.h
kern/include/mptables.h
kern/include/string.h
kern/src/kmalloc.c
kern/src/mptables.c
kern/src/pci.c