andreast b1f7eef0fb Add the .opd section, this is helps booting a profiled kernel.
Adjust the OUTPUT_ARCH and use the builtin ALIGN() to adjust the data segment.
2012-01-20 18:52:31 +00:00
..
2012-01-15 13:21:36 +00:00
2011-10-26 19:07:36 +00:00
2011-10-18 07:29:21 +00:00
2011-10-18 07:29:21 +00:00
2012-01-12 00:34:33 +00:00
2012-01-16 05:07:32 +00:00