Add the concept of a "user pointer" (similar to the void __user * in
[gpxe.git] / Copyrights
2005-05-17 Michael BrownInitial revision