Pintos OS
pintos-os@googlegroups.com
Description
A group for people interested in using the Pintos educational operating system kernel (www.pintos-os.org), particularly educators
Language
English (United States)
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can join group