Dear Sir, I am mtech studen of iitkgp,India.I am working on scheduler part of OS for scalable multi core architecture.I found that there are areas of improvement to scheduler part of barrelfish os.Can you tell me details(or whatever you know) about it? thanking you, waiting for your reply, yours faithfully, sachinagarwalla