| ysionneau | hum ok, here is why: https://github.com/fallen/NetBSD/blob/master/sys/rump/ldscript.rump | 06:05 |
|---|---|---|
| ysionneau | so either I fix ld or I fix the link script | 06:05 |
| ysionneau | let's fix the link script :) | 06:05 |
| ysionneau | great, now that I added tons of lines of junk in my linker script | 06:18 |
| ysionneau | it links | 06:18 |
| ysionneau | mwalle: ok now I've got the right VirtAddr and PhysAddr in readelf | 06:25 |
| larsc | but does that make any difference? | 06:29 |
| ysionneau | larsc: it seems to work (qemu). -kernel loads it at 0x4000 paddr even if all addresses in the program are 0xc000 :) | 07:42 |
| ysionneau | great! | 07:42 |
| ysionneau | one less problem | 07:42 |
| larsc | ah | 07:54 |
| larsc | good | 07:54 |
| ysionneau | no more ugly hacks in qemu \o/ | 08:22 |
| mwalle | ysionneau: mhhh, are you aware of the licensing issues? eg https://github.com/fallen/NetBSD/blob/master/sys/lib/libkern/arch/lm32/_ashlsi3.S | 14:58 |
| ysionneau | damn it | 14:59 |
| ysionneau | gplv3 hits again | 14:59 |
| mwalle | well it would be the same with gpl2 :) | 14:59 |
| mwalle | anyway, isnt that libgcc stuff? | 14:59 |
| ysionneau | yes indeed | 14:59 |
| ysionneau | yes | 14:59 |
| mwalle | which is provided by the compiler with a linking exception? | 15:00 |
| ysionneau | I remember I had troubles with that | 15:00 |
| ysionneau | those symbols were "undefined" | 15:00 |
| ysionneau | I found out linux kernel adds them like that | 15:00 |
| ysionneau | I did the same | 15:00 |
| ysionneau | but indeed license issue :( | 15:00 |
| ysionneau | kernel is not linked against libgcc | 15:01 |
| ysionneau | but it's linked against libkern, maybe I can put it into libkern ... I don't know | 15:01 |
| mwalle | you cant mix bsd with gpl unless the resulting license should be gpl | 15:02 |
| mwalle | which wont be accepted upstream i think :) | 15:02 |
| ysionneau | you're absolutely right | 15:05 |
| ysionneau | I just didn't think about checking license header when copy pasting | 15:05 |
| ysionneau | I was just preoccupied by fixing the problem | 15:05 |
| ysionneau | not checking legal issues | 15:06 |
| ysionneau | but yes it's a problem :( | 15:06 |
| ysionneau | mwalle: you were talking about a "linking exception"? | 15:07 |
| ysionneau | what is that ? | 15:07 |
| ysionneau | can't I use that trick as well ? | 15:07 |
| mwalle | you could ask the netbsd guys why they dont link against libgcc (maybe because there are other compilers? ): | 15:07 |
| mwalle | http://www.gnu.org/licenses/gcc-exception-3.1-faq.en.html | 15:08 |
| larsc | I think some of the platforms do | 15:09 |
| mwalle | libgcc (a libary provided with the gnu c compiler) provides these functions, so the easiest way to do it is to (statically) link against libgcc | 15:10 |
| ysionneau | However, the FSF decided long ago to allow developers to use GCC's libraries to compile any program, regardless of its license < so I can use this code, right? | 15:11 |
| ysionneau | and link with NetBSD kernel, regardless of the fact that I put the whole thing under BSD | 15:11 |
| larsc | yes | 15:13 |
| larsc | inal | 15:13 |
| ysionneau | so I'm probably fine, even with the scary gplv3 header in the file | 15:13 |
| larsc | you can still use them even if they were under the gpl3 | 15:14 |
| larsc | it would just mean that your binary kernel is also under the terms of the gpl3 | 15:14 |
| ysionneau | ? really? | 15:14 |
| larsc | yes | 15:15 |
| ysionneau | doesn't the exception apply? | 15:15 |
| larsc | for the case the exception didn't apply | 15:15 |
| ysionneau | you're saying the exception does not apply to my use of the file from libgcc? | 15:16 |
| ysionneau | or you're saying "if it does not apply" | 15:16 |
| larsc | I'm saying that I'm not a lawyer ;) | 15:17 |
| ysionneau | =) | 15:17 |
| larsc | I think it applies | 15:17 |
| larsc | but even for the case that it did not, you'd still be safe | 15:17 |
| mwalle | i think you are not allowed to copy that file | 15:23 |
| mwalle | ie. integrating it into your own project | 15:23 |
| larsc | unless under the terms of gplv3 | 15:23 |
| mwalle | yeah of course ;) | 15:24 |
| larsc | ;) | 15:24 |
| mwalle | but what you can do, is to link the GPLv3 libgcc against the BSD netbsd | 15:24 |
| ysionneau | :( | 15:24 |
| ysionneau | that might imply me to go against the current of netbsd build system | 15:25 |
| ysionneau | since it seems the kernel does not link with libgcc | 15:25 |
| mwalle | ysionneau: are you sure? on all platforms? | 15:25 |
| ysionneau | I will need to fight a little bit with the build system | 15:25 |
| ysionneau | mwalle: I'm not totally sure | 15:25 |
| mwalle | ask in #netbsd :) | 15:26 |
| mwalle | on ircnet (?) | 15:26 |
| ysionneau | freenode | 15:26 |
| mwalle | mhh | 15:26 |
| larsc | ysionneau: I think we've talked about this before and you said that some of the platforms link against libgcc | 15:27 |
| ysionneau | ah! | 15:27 |
| ysionneau | ok | 15:27 |
| larsc | iirc | 15:27 |
| mwalle | is that the official channel? | 15:27 |
| ysionneau | my memory is kind of blurry about this topic | 15:27 |
| ysionneau | I don't remember very well | 15:27 |
| ysionneau | mwalle: I think so | 15:28 |
| larsc | don't bang your head against the wall that often ;) | 15:28 |
| mwalle | where is hubert feyrer | 15:28 |
| ysionneau | there are 3 channels | 15:28 |
| ysionneau | in fact | 15:28 |
| ysionneau | http://www.netbsd.org/community/ | 15:28 |
| ysionneau | larsc: ahah yes I should stop doing that maybe... | 15:28 |
| mwalle | ysionneau: but congrats on the pma/vma issue :) | 15:29 |
| ysionneau | thanks for the help :) | 15:32 |
| ysionneau | I did not know ELF was aware of physical load address | 15:32 |
| mwalle | ysionneau: you might try the ircnet channel, last time (years ago ;) it was very active | 15:32 |
| ysionneau | ok t:) | 15:46 |
| ysionneau | mwalle : you are reviewing my commits in the netbsd kernel ? | 15:47 |
| mwalle | ysionneau: i was just browsing through the github repository. hit that issue more by accident | 15:51 |
| ysionneau | ok :) | 15:51 |
| ysionneau | good to have feedbacks ! | 15:51 |
| ysionneau | as always you catch nice issues | 15:52 |
| --- Thu Oct 10 2013 | 00:00 | |
Generated by irclog2html.py 2.9.2 by Marius Gedminas - find it at mg.pov.lt!