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> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>