Hey Adam,
thanks a lot for the replies. I still have a few questions/clarifications
though. :-)
a. Is there a way to implement the MODE=sigma for linux? I could not find
anything that points to it.
b. Now if I were to tweak the page fault handler in sigma, then does that imply
that even a
hi,
a. Ok I will re-enable the cmpxchg8b.
b. I am not sure about the changes and since it occurs quite rarely, I am not
sure if it is a case of not cleaning up interrupts properly after a crash.
I will live with them for now and get back to this once the other issues are
sorted out.
thanks,
Hi,
On 09/08/2014 12:17 AM, Adam Lackorzynski wrote:
Your threads page-fault all around. The reason is that I was
slightly wrong with my last statement on paging. The pager of the parent
task resolves the page-fault however just maps the memory locally to the
parent task, so the memory never
Hello Community,
I'm relative new to l4RE. My Goal is to get access to an Hardware Device
which is Build in the Processor.
After some research i came to the conclusion that the IO-Server is the
thing I need, but i have no clue how to invoke it.
It would be great if someone could supply a short
Hi Korbinian,
Am 10.09.2014 um 14:24 schrieb Korbinian Ederer:
Hello Community,
I'm relative new to l4RE. My Goal is to get access to an Hardware Device which
is Build in the Processor.
After some research i came to the conclusion that the IO-Server is the thing I
need, but i have no clue how
Update: Sorry, I misunderstood a few things in the previous email. The change
was in fiasco and not sigma and therefore, in theory, no user space process
should have access to the protected region. This also implies that sigma0 will
not have access if I understand correctly which is rather
Hi All,
Does Fiasco support yield system call?
Or other mechanism one thread can switch to another one without IPC?
Thank you very much.
Yuxin
___
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 10.09.2014 20:06, Yuxin Ren wrote:
Hi All,
Does Fiasco support yield system call? Or other mechanism one
thread can switch to another one without IPC?
$ cd src/l4/pkg
$ find . -name \*.h | xargs grep l4.\*yield
[..]
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 10.09.2014 11:32, Valentin Hauner wrote:
Hi,
On 09/08/2014 12:17 AM, Adam Lackorzynski wrote:
Your threads page-fault all around. The reason is that I was
slightly wrong with my last statement on paging. The pager of the
parent task
