What it the status of using an supervisor to put drivers in a separate domain like Sony have done for the PS2 ?

Compagny said it's completly separate from the kernel side, so GPL don't apply. But i don't think that a technical trick could change the meaning of "derivative work".

What do you think of this ?