also, if you want a quick and easy way to switch kernels for testing: https://help.ubuntu.com/community/StartUpManager
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list
