Kees Jongenburger 65ceab5261 arm:make the kernel server and driver binaries identical.
Make the kernel server and driver binaries indentical for the different
ARM platforms. We no longer need to define the AM335X or DM37XX flags
during compilation. The remaining differences are all located in u-boot.

Change-Id: I14ac60837dd2d7f116bc5fa56d3989b48d7c4fea
2013-12-17 11:32:38 +01:00
2013-08-20 11:37:40 +02:00
2013-11-12 06:18:01 -05:00
2013-08-21 13:53:39 +02:00
2013-10-29 15:18:45 -04:00
2013-10-17 08:40:33 -04:00
2013-09-01 12:59:37 +00:00
2013-10-14 18:06:05 -04:00
2013-11-28 13:31:37 +00:00
2013-11-12 10:15:47 -05:00
2013-11-19 07:26:37 -05:00
2010-01-21 10:16:05 +00:00
Description
A fun microkernel meant to match modern usecases
GPL-3.0 148 MiB
Languages
C 78.2%
Roff 10.2%
Assembly 4.6%
Shell 3.7%
Makefile 1.6%
Other 1.2%