We should avoid GPL in the kernel as much as possible, best not to use it
at all,
especially when it comes to arch support. Currently the only GPL component
in
the kernel is VIDEO_OV2650, whose license is not entirely clear and GPL is
only
there "just in case".
The only place where GPL might be tolerated is apps, but it's better to
avoid that
anyway. The only component in nuttx that is definitely GPL and there is no
doubt about it is wolfssl, in other places GPL is there more of a safeguard
and
the actual licence may be BSD-like.
