Hi Martin Thanks for your email. You can find the description of the hobbyist category on https://events.linuxfoundation.org/sel4-summit/register/#registration-types
Hobbyist: Eligible for seL4 enthusiasts who finance their participation on their own. Please let us know if you have any further questions. cheers Birg On Wed, 16 Apr 2025 at 00:16, Martin Decky via Devel <devel@sel4.systems> wrote: > Dear Vasily, > > > 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. > > Yes, that surely sounds plausible. > > But I still wonder if that is really all to it. Could the organizers of > the summit please clarify officially? Thanks in advance! > > I just don't think that guessing and trying to read other people's minds > is a good approach here. Other LF events have also the hobbyist > category, but they usually explain their motivation for it explicitly. > The conditions differ, e.g. sometimes active community involvement is > necessary, sometime only a limited number of hobbyist registrations is > allowed, etc. > > To put it bluntly, my situation is a bit more complicated given the fact > that my employer is, technically speaking, a competition to seL4 :) > > > Best regards > > Martin Decky > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrc...@gmail.com <mailto:bbrc...@gmail.com> _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
