Hi, I am trying to use the RumpKernel on Barrelfish research OS and wanted to ask few questions in this context.
My current approach is to port the rumprun on Barrelfish by adding new platform into rumprun. I have created simple hypervisor layer for barrelfish platform, but I am running into problems in linking the rumpkernel libraries with the Barrelfish application. The problem is due to the symbol name collision in linking process as both Rumpkernel and Barrelfish have their own libc libraries. I wanted to check if I am missing something here and if such conflict should not happen at-all. And what would be a clean way to handle this conflict. Thanks, Pravin
