This is simply to build pinmux drivers to catch build breakage.
The source code comes from samples/hello_world.