Dear all, > Thanks for the info! A quick question for clarification: What is the > difference between the Professional and the Hobbyist registration type? > (Sorry if this is obvious to someone, but I'm unable to find an explicit > explanation anywhere.)
I guess, If you pay out of your own pocket, you are an enthusiast. if it is sponsored by your employer, you are a professional. — Dr.-Eng. V. A. Sartakov _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
