- l4-hackers - example.com Site

about sysenter
by watermirror 28 Apr '15

28 Apr '15

hi ,in the file :l4re/pkg/l4sys/include/ARCH-x86/ipc-invoke.h, the comments says: We use ecx to store the user-level espand save eip onto the stack. but where could if find the corresponding code?

2 1

the first instruction in entry_sys_fast_ipc_c
by watermirror 28 Apr '15

28 Apr '15

hi, after entered the entry_sys_fast_ipc_c through sysenter, why the first instruction is 'pop %esp'?

2 1

How to solve the problem about multiple definition of clk_enable?
by Youren Shen 28 Apr '15

28 Apr '15

Hi, L4 hackers, To solve the problem about "undefined reference to `clk_get_rate'", I select COMMON_CLK in config L4_PLATFORM_GENERIC. But when I build the L4Linux this occurs: multiple definition of `clk_enable' l4linux/arch/l4/kernel/arch-arm/l4.c:63: first defined here So, Should I disable L4_CLK_NOOP in L4_PLATFORM_GENERIC? Thank you very much! Best Regards! Youren Shen

2 1

Re: How L4Linux Linked the header file?
by Youren Shen 28 Apr '15

28 Apr '15

Hi, Adam, Sorry to disturb you again. I find the reason of this problem is because the "config GENERIC_CLOCKEVENTS" is removed from file arch/arm/Kconfig after Kernel 3.4. As a result, the GENERIC_CLOCKEVENTS is not defined in the arch/l4/kconfig.arm. And the CONFIG_SMP depends on GENERIC_CLOCKEVENTS. So the CONFIG_GENERIC_CLOCKEVENTS and CONFIG_SMP will be unmask in build processes. Is there any way to get previous version of L4Linux? For instance, If I can get the source code of the L4Linux 3.4, it will be very helpful. Thank you very much for your help! On Sun, Apr 26, 2015 at 12:18 AM, Youren Shen <shenyouren(a)gmail.com> wrote: > Hi, Adam > I'm not so sure how to reply the mail in L4-hackers-list, So I CC to both > the List mail address and thread mail address. > > Thank you for your reply, and that really helps. > > I find that those error occurred because the CONFIG_SMP and > CONFIG_GENERIC_CLOCKEVENTS_BUILD is not set in .config. > > I try to config them by 'make menuconfig' but there is none entry about > CONFIG_SMP or CONFIG_GENERIC_CLOCKEVENTS_BUILD appeared in menuconfig. So > I change the .config file directly, but once I invoke "make", the .config > will be rewrite. > > Would you mind give me any guide about how to set them? > > Thank you very much. > >> >> >> Hi, >> >> On Sat Apr 18, 2015 at 22:26:15 +0800, Youren Shen wrote: >> > I'm trying to port L4Linux 3.14 to Linux Kernel 3.4. But when I complied >> > the kernel, this error happened: >> > >> /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/main.c: >> > In function 'cpu0_startup': >> > >> /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/main.c:2124:2: >> > error: implicit declaration of function 'set_my_cpu_offset' >> > [-Werror=implicit-function-declaration] >> > >> > I checked main.c file: >> > >> > #include <asm/unistd.h> >> > #include <asm/percpu.h> >> > #include <asm/generic/l4lib.h> >> > >> > So I add one percpu.h file with definition of 'set_my_cpu_offset' in >> > >> /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/include/asm/arch-arm/, >> > however this error still happened. >> > >> > Then I add the definition of this function to >> > >> /home/shenyouren/workspace/kernel/kernel_exynos5250/include/linux/percpu.h, >> > then the error message will not show. >> > >> > Also, discard the change in $(src)/include/linux/percpu.h, then I change >> > the main.c file to include absolute path of percpu.h. >> > >> > #include <asm/unistd.h> >> > #include >> > >> </home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/include/asm/arch-arm/percpu.h> >> > #include <asm/generic/l4lib.h> >> > >> > It passed the complied to. >> >> When you put a header file in arch/l4/include/asm/arch-arm/ including it >> via <asm/foo.h> should work. >> >> > So that is say, the #include <asm/percpu.h> is reference to >> > src/include/linux/percpu.h. That really strange. >> >> So, include <linux/percpu.h> in main.c right away? >> >> The L4 part of L4Linux you're looking at is for 3.14 and you apply it to >> Linux 3.4, please expect that things are different and need adaption. >> >> > I do not change the Makefile in arch/l4, and I really confused about >> this >> > error. >> > Now this problem occurs to me again, when complied the >> > arch/l4/kernel/timer.c file, this error happened: >> > >> > >> /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/timer.c:153:35: >> > warning: 'struct clock_event_device' declared inside parameter list >> > [enabled by default] >> > >> /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/timer.c:153:35: >> > warning: its scope is only this definition or declaration, which is >> > probably not what you want [enabled by default] >> > >> > but the definition of this to file should be defined in clockchips.h >> which >> > is include in timer.c: >> > >> > #include <linux/timex.h> >> > #include <linux/clockchips.h> >> > #include <linux/irq.h> >> > >> > Thank you for your reading, I just want to know what's the rule of >> L4Linux >> > header file linking, and solve this problem. >> > I'd be so appreciated if anyone can give me some help! >> >> There's a #ifdef CONFIG_GENERIC_CLOCKEVENTS_BUILD in clockchips.h. >> Not defined? >> >> >> >> Adam >> -- >> Adam adam(a)os.inf.tu-dresden.de >> Lackorzynski http://os.inf.tu-dresden.de/~adam/ >> >> -- > Best Regards. > Youren Shen. > -- Best Regards. Youren Shen.

2 1

Re: How L4Linux Linked the header file?
by Youren Shen 25 Apr '15

25 Apr '15

Hi, Adam I'm not so sure how to reply the mail in L4-hackers-list, So I CC to both the List mail address and thread mail address. Thank you for your reply, and that really helps. I find that those error occurred because the CONFIG_SMP and CONFIG_GENERIC_CLOCKEVENTS_BUILD is not set in .config. I try to config them by 'make menuconfig' but there is none entry about CONFIG_SMP or CONFIG_GENERIC_CLOCKEVENTS_BUILD appeared in menuconfig. So I change the .config file directly, but once I invoke "make", the .config will be rewrite. Would you mind give me any guide about how to set them? Thank you very much. > > > Hi, > > On Sat Apr 18, 2015 at 22:26:15 +0800, Youren Shen wrote: > > I'm trying to port L4Linux 3.14 to Linux Kernel 3.4. But when I complied > > the kernel, this error happened: > > > /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/main.c: > > In function 'cpu0_startup': > > > /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/main.c:2124:2: > > error: implicit declaration of function 'set_my_cpu_offset' > > [-Werror=implicit-function-declaration] > > > > I checked main.c file: > > > > #include <asm/unistd.h> > > #include <asm/percpu.h> > > #include <asm/generic/l4lib.h> > > > > So I add one percpu.h file with definition of 'set_my_cpu_offset' in > > > /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/include/asm/arch-arm/, > > however this error still happened. > > > > Then I add the definition of this function to > > > /home/shenyouren/workspace/kernel/kernel_exynos5250/include/linux/percpu.h, > > then the error message will not show. > > > > Also, discard the change in $(src)/include/linux/percpu.h, then I change > > the main.c file to include absolute path of percpu.h. > > > > #include <asm/unistd.h> > > #include > > > </home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/include/asm/arch-arm/percpu.h> > > #include <asm/generic/l4lib.h> > > > > It passed the complied to. > > When you put a header file in arch/l4/include/asm/arch-arm/ including it > via <asm/foo.h> should work. > > > So that is say, the #include <asm/percpu.h> is reference to > > src/include/linux/percpu.h. That really strange. > > So, include <linux/percpu.h> in main.c right away? > > The L4 part of L4Linux you're looking at is for 3.14 and you apply it to > Linux 3.4, please expect that things are different and need adaption. > > > I do not change the Makefile in arch/l4, and I really confused about this > > error. > > Now this problem occurs to me again, when complied the > > arch/l4/kernel/timer.c file, this error happened: > > > > > /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/timer.c:153:35: > > warning: 'struct clock_event_device' declared inside parameter list > > [enabled by default] > > > /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/timer.c:153:35: > > warning: its scope is only this definition or declaration, which is > > probably not what you want [enabled by default] > > > > but the definition of this to file should be defined in clockchips.h > which > > is include in timer.c: > > > > #include <linux/timex.h> > > #include <linux/clockchips.h> > > #include <linux/irq.h> > > > > Thank you for your reading, I just want to know what's the rule of > L4Linux > > header file linking, and solve this problem. > > I'd be so appreciated if anyone can give me some help! > > There's a #ifdef CONFIG_GENERIC_CLOCKEVENTS_BUILD in clockchips.h. > Not defined? > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > -- Best Regards. Youren Shen.

1 0

(no subject)
by deng.chao1＠zte.com.cn 24 Apr '15

24 Apr '15

Hi: I am reading the code of fiasco kernel.I have a question about the function "Context::schedule". At line 894 in kernel/fiasco/src/kern/context.cpp： "while (EXPECT_FALSE(current_cpu != access_once(&_home_cpu)))" As I know, the variable "_home_cpu" indicates the CPU number which the thread that invokes the “schedue ” as a member function is running on。And the variable “current cpu” indicates the CPU number now this code fragment is running on。 The condition test tells me that it seems the class Context's member function "schedule" will run on a different cpu some time . If it does so, some extra work will need to be done in the "schedule" function. I have searched all of the fiasco kernel sources, but I did not find this special context. So would anybody please tell me whether there has a situation that the "schedule" function will run on different CPU， why does it happen？ Thanks！

2 1

where is the call_bootstrap?
by 水镜 24 Apr '15

24 Apr '15

Hi, in the file main-ia32-32.cpp, there's a line(line 60): call call_bootstrap where could i find the implemention of the call_bootstrap?

2 1

Static_object in fiasco kernel
by 水镜 22 Apr '15

22 Apr '15

hi, what is the Static_object in fiasco kernel used for?

2 1

How L4Linux Linked the header file?
by Youren Shen 22 Apr '15

22 Apr '15

Hi, I'm trying to port L4Linux 3.14 to Linux Kernel 3.4. But when I complied the kernel, this error happened: /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/main.c: In function 'cpu0_startup': /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/main.c:2124:2: error: implicit declaration of function 'set_my_cpu_offset' [-Werror=implicit-function-declaration] I checked main.c file: #include <asm/unistd.h> #include <asm/percpu.h> #include <asm/generic/l4lib.h> So I add one percpu.h file with definition of 'set_my_cpu_offset' in /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/include/asm/arch-arm/, however this error still happened. Then I add the definition of this function to /home/shenyouren/workspace/kernel/kernel_exynos5250/include/linux/percpu.h, then the error message will not show. Also, discard the change in $(src)/include/linux/percpu.h, then I change the main.c file to include absolute path of percpu.h. #include <asm/unistd.h> #include </home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/include/asm/arch-arm/percpu.h> #include <asm/generic/l4lib.h> It passed the complied to. So that is say, the #include <asm/percpu.h> is reference to src/include/linux/percpu.h. That really strange. I do not change the Makefile in arch/l4, and I really confused about this error. Now this problem occurs to me again, when complied the arch/l4/kernel/timer.c file, this error happened: /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/timer.c:153:35: warning: 'struct clock_event_device' declared inside parameter list [enabled by default] /home/shenyouren/workspace/kernel/kernel_exynos5250/arch/l4/kernel/timer.c:153:35: warning: its scope is only this definition or declaration, which is probably not what you want [enabled by default] but the definition of this to file should be defined in clockchips.h which is include in timer.c: #include <linux/timex.h> #include <linux/clockchips.h> #include <linux/irq.h> Thank you for your reading, I just want to know what's the rule of L4Linux header file linking, and solve this problem. I'd be so appreciated if anyone can give me some help! -- Best Regards. Youren Shen.

2 1

How to compile the fiasco kernel test directory?
by Liu Xiaodong 22 Apr '15

22 Apr '15

Hi,I got a tar ball(l4re-snapshot-2014092821.tar.bz2) from fiasco website. I see a directory for test under the fiasco kernel source path: /l4re-snapshot-2014092821/src/kernel/fiasco/src/test/. But I can't compile them in the normal way, such as that you discrbed in the website http://os.inf.tu-dresden.de/fiasco/build.html. I really want to do some kernel tests on fiaso. If you can tell me how to compile the fiasco kernel test directory, it will be very helpful, and I will appreciate it. By the way, the test source code seems to not be included completely. Such as /l4re-snapshot-2014092821/src/kernel/fiasco/src/test/space/space.t.cc #include <iostream> #include <iomanip> #include <cassert> using namespace std; #include <flux/page.h> #include "space.h" int main() { // // Make task 4 the chief of task 5 // assert (space_index_t (5).lookup () == 0); assert (space_index_t (5).chief () == 0); assert (space_index_t (5).set_chief (space_index_t(0), space_index_t(4))); assert (space_index_t (5).lookup () == 0); assert (space_index_t (5).chief () == 4); ...... } I can't find headfile "space.h" in the tar ball, and there is no define about "space_index_t" too. can you tell me why? thanks again! -------------------------------------------------------- ZTE Information Security Notice: The information contained in this mail (and any attachment transmitted herewith) is privileged and confidential and is intended for the exclusive use of the addressee(s). If you are not an intended recipient, any disclosure, reproduction, distribution or other dissemination or use of the information contained is strictly prohibited. If you have received this mail in error, please delete it and notify us immediately.

2 3