[Xenomai-help] How can I make Xenomai share a mii bus with the kernel?

[Michael Galea <michaelgalea@domain.hid>]

I wonder if someone can suggest an approach to the following problem.

We need to use xenomai to manage devices on the mii bus.  The mii bus 
has PHYs managed by linux. What is the best way of providing access to 
both linux and xenomai?

I know that before xenomai "loads", I can simply access the mii bus from 
linux.  But after xenomai loads, is the right answer to make the linux 
function that reads the phy migrate into the xenomai domain and contend 
for the bus there?