You're focusing on the executable format, which is very much not the driver model.