The driver splash screen is decoded using libpng
: http://libpng.org/pub/png/libpng.html
This driver contains code from the int10 module of the X.Org project.
The BSD implementations of the following compiler intrinsics are used for better portability: __udivdi3, __umoddi3, __moddi3, __ucmpdi2, __cmpdi2, __fixunssfdi, and __fixunsdfdi.