AMP linux and GPU/HDMI controller sharing

[Mj Embd]

Hi,

I have got a client request to support on their board 2 instances of
linux(Ubuntu) running as an AMP.
The board has 2 ARM cores and a GPU. The LED monitor which connects to
the board is using HDMI.

Two cores can communicate via a IPI handshake.
So release and acquire of the GPU can be done cooperatively.

My problem is that, I have done partitioning of other resources but
not sure how to share the GPU. What I have to do is save the buffers
associated with current GPU owner in memory and restore later. I dont
know much about GPU programming and am looking for pointers /any help
which is possible.

Also the solution I have to create has to be GPU agnostic.

Please help me out.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/