l4-hackers September 2013

l4-hackers@os.inf.tu-dresden.de

12 participants
15 discussions

Problems with SVN co
by Manuel Dejonghe 10 Sep '13

10 Sep '13

Hi all, I subscribed to this list because last night and now, I have problems checking out the source code: After a 'svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux' I am getting these kind of error messages: ... A l4linux/include/uapi/linux/netfilter/xt_statistic.h svn: In directory 'l4linux/include/uapi/linux/netfilter' svn: Can't open file 'l4linux/include/uapi/linux/netfilter/.svn/tmp/text-base/xt_CONNMARK.h.svn-base': No such file or directory ... A l4linux/include/uapi/linux/netfilter_ipv4/ipt_ttl.h svn: In directory 'l4linux/include/uapi/linux/netfilter_ipv4' svn: Can't open file 'l4linux/include/uapi/linux/netfilter_ipv4/.svn/tmp/text-base/ipt_ecn.h.svn-base': No such file or directory ... A l4linux/include/uapi/linux/netfilter_ipv4/ipt_CLUSTERIP.h svn: In directory 'l4linux/include/uapi/linux/netfilter_ipv4' svn: Can't open file 'l4linux/include/uapi/linux/netfilter_ipv4/.svn/tmp/text-base/ipt_ttl.h.svn-base': No such file or directory I have had that as well after only a couple of seconds or after some minutes, with varying milage of completeness, of course. What could be the reason for that ? Does anyone else have strange symptoms currently with the subversion ? thank you very much, lImbus

1 1

L4kproxy::Factory_svr
by Daniel Müller 09 Sep '13

09 Sep '13

Hello, Please find attached a minimal example illustrating a bug in Factory_svr. When executing this example the output is something like: Ned: loading file: 'rom/minimal.lua' Ned: ERROR: ned.lua:199: could not create process: Insufficient memory (: -12) The problem is in parsing the utcb_area parameter in the Factory_hndl::handle_task() method. A patch could be the attached libkproxy.diff which will make the task creation succeed. I would also like to point out that in my opinion there is no point in writing this functionality but never testing or using it (I have been unable to find a single client or test using it). Thanks, Daniel

2 2

Fosdem'14
by Sartakov A. Vasily 09 Sep '13

09 Sep '13

Hello, my dear friends. I am sorry if you receive multiple copies of this message (but I know, most of you will receive copies), but mailing list from uKernel dev room at FOSDEM'13 was destroyed (https://lists.fosdem.org/listinfo). Time rolls on, a FOSDEM'14 is not too far and now it is good time to submit a "uKernel and component based os" dev room. Who would like to organize dev room in this year? I would be proud to make this, but I heard someone from TUD would like to organize Dev room in this year. -- Sartakov A. Vasily sartakov(a)ksyslabs.org

2 2

L4::Cap::move
by Daniel Müller 06 Sep '13

06 Sep '13

Hello, I am wondering is there any particular reason why Cap::move() uses L4_FPAGE_RWX instead of a mask of all bits? l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, src.fpage(L4_FPAGE_RWX), snd_base(L4_MAP_ITEM_GRANT)); Shouldn't L4_FPAGE_RWX be replaced with L4_CAP_FPAGE_RWSD in order to not restrict rights artificially? I am seeing subtle differences in application behavior in a scenario of mine... Daniel

2 1

Cross-CPU TLB flush problem with Fiasco.OC (r56, r58; exynos5)
by Christian Prochaska 01 Sep '13

01 Sep '13

Hello, I had a situation where CPU 1 accessed the wrong (same as before) physical memory location after it was idle while CPU 0 unmapped the memory page and mapped a different page at the same virtual address afterwards. When a CPU is idle, its TLB gets marked as 'inactive' in the kernel and the CPU doesn't receive cross-CPU TLB flush requests during this time. It seems there is a TLB flush missing somewhere after CPU 1 leaves the idle thread, to compensate for any missed flush requests during the idle time. When I added a 'Mem_unit::tlb_flush()' call after 'enable_tlb(cpu)' in 'Kernel_thread::idle_op()' as a test, this problem did not occur anymore. Christian

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers September 2013