minix/kernel/arch
Kees Jongenburger 3a2fb1ae8c arm:determine board_id using bootargs.board_name
On startup determine the board_id based on the board name
passed from u-boot. This code also export "board" for use
by  userland using sysenv.

Change-Id: I1064a49497c82b06f50d98650132bc0a7f543568
2013-12-17 11:32:38 +01:00
..
earm arm:determine board_id using bootargs.board_name 2013-12-17 11:32:38 +01:00
i386 arm:determine board_id using bootargs.board_name 2013-12-17 11:32:38 +01:00