Re: [riot-devel] LGPL compliance testing
Hi Kaspar, On Tue, 10 Feb 2015, Kaspar Schleiser wrote: (3) Fine-grained object archives: Having separate object archives that reflect RIOT modules is the key idea of the approach. Two questions remain: (a) Which types of applications can someone create without affecting the core (i.e., other .a-files) of the OS. (b) What is the core of the OS? Actually, the *archives* don't really matter. The linker extracts all archives and only considers contained .o files for linking. That the application objects are conveniently archived into one .a file that can be easily used for this license verification is just a by-product. OK. (a) Usually the core .a files are searched before the application .a. That way, even if a developer accidently overwrites symbols (e.g., functions or variables) that should have been supplied by RIOT, the linker would probably just ignore it. Have to try that. So in theory, developers shouldn't be able to affect the system .a's files. And I can't think of anything that might do so by accident, when a developer *wants* to be LGPL compliant, just writes an application, maybe adds a proprietary driver but otherwise behaves regarding build system manipulation. I think that was a misunderstanding. I was more asking about the realm of applications. The counter-arguments we had in the LGPL discussion were not primarily can we proof LGPL compliance but more can we build reasonable, proprietary IoT applications without violating LGPL compliance. There are probably a million ways to sneak in modified RIOT code and still have a valid verification using our method here. So even if the verification passes, that alone is not proof that LGPL hasn't been violated. From a legal perspective it then seems worthless. To be honest: I like the idea from an exercise point of view but I don't see how this approach can help us wrt the license discussion. Cheers matthias -- Matthias Waehlisch . Freie Universitaet Berlin, Inst. fuer Informatik, AG CST . Takustr. 9, D-14195 Berlin, Germany .. mailto:waehli...@ieee.org .. http://www.inf.fu-berlin.de/~waehl :. Also: http://inet.cpt.haw-hamburg.de .. http://www.link-lab.net ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel
[riot-devel] OTA meetup 11.2.2015
Hi, by popular demand, we will be meeting this Friday at 19:00 at the kiwi.ki office KIWI.KI GmbH Lehrter str. 17 10557 Berlin, DE as well as online over appear.in or google hangouts (whatever i can get working). Attached are the slides i will be presenting for about 15minutes. Feel free to bring your own slides or notes. Especially for topics not covered by me. see ya there! best, Arvid RIOT OTA (1).pdf Description: Adobe PDF document ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel
Re: [riot-devel] Meeting 11/02/2015
Yes Emmanuel, I'm going there with Maxence because this is our school :-) I let you and the other maintainers decide about the next meeting. Cheers, 2015-02-11 10:27 GMT+01:00 Emmanuel Baccelli emmanuel.bacce...@inria.fr: Hi Baptiste, the only RIOTer I'm sure is going to be at Sensornet is Kévin ;) Are you going? Concerning the next meeting, let's decide early next week if we do it next Wednesday or in 2 weeks? Best, Emmanuel On Wed, Feb 11, 2015 at 10:11 AM, Baptiste Clenet bapcle...@gmail.com wrote: Ok, thank you Emmanuel. Will it be posponed to next week or in two weeks as usual? Btw, does any of RIOTers goes to Sensornet 2015 in Angers this afternoon? There is a conference about RIOT from 5:15 to 6:45 RIOT OS Paves the Way for Implementation of High-performance MAC Protocols By Kévin Roussel, Ye-Qiong Song and Olivier Zendra 2015-02-11 10:05 GMT+01:00 Emmanuel Baccelli emmanuel.bacce...@inria.fr : Hi Baptiste, I don't think there is a meeting today. Last week was heavy with the network stack task force workshop, so if I understood correctly, this week's meeting is cancelled. Best, Emmanuel On Wed, Feb 11, 2015 at 9:56 AM, Baptiste Clenet bapcle...@gmail.com wrote: Hi, Is there a meeting today? Could you provide the PlaceCam link of it (10am today)? Cheers, -- *Clenet Baptiste* ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel -- *Clenet BaptisteFR: +33 6 29 73 05 39 %2B33%206%2029%2073%2005%2039* *Élève-Ingénieur ESEO Angers, dernière année, spécialisation: Architecte système temps réél embarqué* *Bidiplôme Master Robotics à l'Université de Plymouth en 2013-2014* ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel -- *Clenet Baptiste* ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel
[riot-devel] Meeting 11/02/2015
Hi, Is there a meeting today? Could you provide the PlaceCam link of it (10am today)? Cheers, -- *Clenet Baptiste* ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel
Re: [riot-devel] Meeting 11/02/2015
Hi Baptiste, I don't think there is a meeting today. Last week was heavy with the network stack task force workshop, so if I understood correctly, this week's meeting is cancelled. Best, Emmanuel On Wed, Feb 11, 2015 at 9:56 AM, Baptiste Clenet bapcle...@gmail.com wrote: Hi, Is there a meeting today? Could you provide the PlaceCam link of it (10am today)? Cheers, -- *Clenet Baptiste* ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel
Re: [riot-devel] Meeting 11/02/2015
Hi Baptiste, in theory yes, in practice I am unable to contact one of the persons who can host the session. The link however is always the same. Cheers, Ludwig On Wed, Feb 11, 2015 at 09:56:58AM +0100, Baptiste Clenet wrote: Hi, Is there a meeting today? Could you provide the PlaceCam link of it (10am today)? Cheers, -- *Clenet Baptiste* ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel ___ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel