Groups
Groups
Sign in
Groups
Groups
Pintos OS
Conversations
About
Send feedback
Help
Pintos OS
1–2 of 2
Mark all as read
Report group
0 selected
Godmar Back
5/23/17
Pintos/SMP
By chance, I discovered that someone (me?) set up this Google group about the Pintos OS. Maybe we did
unread,
Pintos/SMP
By chance, I discovered that someone (me?) set up this Google group about the Pintos OS. Maybe we did
5/23/17
Hars
, …
Godmar Back
4
12/10/14
setting up the pintos environment
From what I recall - I haven't used Pintos in a while - interrupts can always be triggered.
unread,
setting up the pintos environment
From what I recall - I haven't used Pintos in a while - interrupts can always be triggered.
12/10/14
