Pintos OS | Google Groups

The old Google Groups will be going away soon, but your browser is incompatible with the new version.

Home

Group info

Members: 19

Language: English

Group categories: Not categorized

More group info »

Home

1 of 2 messages

setting up the pintos environment
By Rasesh Mori - Sep 18 2012 - 2 authors - 1 reply

Report this group XML Send email to this group: pintos-os@googlegroups.com

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy

Account Options