A device independent graphics kernel