Linux/UID32  - patches to allow Linux to work with 32-bit UIDs (and more than 65,536 users)