pooka 70d4493c77 Remove the portalfs kernel file system driver. Replace mount_portal(8) ... with a version based on puffs. User functionality remains the same.		2009-12-05 20:11:01 +00:00
..
files.ofppc
GENERIC	Remove the portalfs kernel file system driver. Replace mount_portal(8)	2009-12-05 20:11:01 +00:00
GENERIC.MP	Remove the portalfs kernel file system driver. Replace mount_portal(8)	2009-12-05 20:11:01 +00:00
INSTALL	Changes to MEMORY_RBFLAGS option:	2009-02-06 18:50:26 +00:00
std.ofppc