François Revol f812331857 PPC: Add a platform field to the arch_kernel_args
* We need to know which platform we are booted from
2012-09-22 22:10:02 +02:00
..
2012-02-19 15:11:57 +01:00
2012-08-27 19:23:22 +00:00
2012-07-20 19:35:21 -04:00
2012-04-05 12:32:31 +02:00
2012-09-15 15:45:42 -05:00