Hello everyone,
Currently I'm going through the source code of seL4. I find function in
seL4\src\object\Tcb.c that I can't find it's definition.
In line 59, tcbSchedEnqueue calls a function
'thread_state_ptr_set_tcbQueued(&tcb->tcbState, true)'. However, even with the
help of Source Insi
Thank you, Adrian. That helps me.
chengku...@gmail.com
From: Adrian Danis
Date: 2014-10-29 08:13
To: Yuxin Ren; chengku...@gmail.com
CC: devel
Subject: Re: [seL4] A missing function?
Hi,
This function, and many others, is generated by a tool called the 'bitfield
generator'
Oh, thank you so much. I never thought of that, lol.
chengku...@gmail.com
From: Yuxin Ren
Date: 2014-10-29 00:10
To: chengku...@gmail.com
CC: devel
Subject: Re: [seL4] A missing function?
Hi Kenneth,
After you build the kernel, you can find its definition in
build/kernelkernel_final.c file
Hi All,
I want to use musl lib c but I'm a little confused on the following two
projects: libmuslc and musllibc. I went through their Kconfig and brief intros,
so my question now is do I need them both to port/use musl lib c on sel4? It
might be a dumb question but I'm stuck here, any help
;ve really had no idea that it's on camkes.
Thank you for the advice and I will go through the projects.
Best regards,
Kenneth
From: Adrian Danis
Date: 2014-11-27 05:34
To: chengku...@gmail.com; devel
Subject: Re: [seL4] Confused on porting/using musl lib c
Hi Kenneth,
Have yo
