OSDI ‘08: Corey, an operating system for many coreshnr.dnsalias.net2 points·11ren··0 commentsOpen articleSaveView on HN