 5da4a0bd56
			
		
	
	
		5da4a0bd56
		
	
	
	
	
		
			
			Now users can choose between libsys, libsys + libminc and libsys + libc. E.g. PUFFS/FUSE servers need libsys + libc while old servers can use libsys + libminc.
 5da4a0bd56
			
		
	
	
		5da4a0bd56
		
	
	
	
	
		
			
			Now users can choose between libsys, libsys + libminc and libsys + libc. E.g. PUFFS/FUSE servers need libsys + libc while old servers can use libsys + libminc.