RE: Checking executables before running them in L4re/fiasco

2014-09-08 Thread Masti Ramya Jayaram
Hey Adam, Yes, I explicitly made sure that there are no extra characters by setting the entire page of 4096 bytes to zero before copying over the new config. I am not sure what you mean by changed the target - I simply replace the config file. So I thought it picks up the size information from

RE: Aborted L4linux due to CLI/STI

2014-09-08 Thread Masti Ramya Jayaram
Hey Adam, That's ok as long it's also ok for native Linux. I am not sure what they did with native Linux but I know from the SCC forums that these instructions do not exist. So I guess that is ok. I'm wondering how did you end up with the code containing the cli? In L4Linux this part is

Re: Question about dec_lock_cnt method in Context class

2014-09-08 Thread Yuxin Ren
Unfortunately this modification does not help. I have a question about the switch_lock code. PRIVATE inline bool NO_INSTRUMENT Switch_lock::set_lock_owner(Context *o) { bool have_no_locks = o-_lock_cnt 1; if (have_no_locks) { assert_kdb (current_cpu() == o-home_cpu()); for