Emmanuel Blot 41b870c890 arm: Make sure __k_unpaged_MINIX is first ...

Do not rely on build order to set startup symbol (`__k_unpaged_MINIX`)
at kernel binary start

Change-Id: I1ed3f9309fe66ff97e24915938c114d5a159deaf

2015-03-18 07:50:31 +01:00

..

earm

arm: Make sure __k_unpaged_MINIX is first

2015-03-18 07:50:31 +01:00

i386

remove unused PSW restore code

2014-11-25 10:51:01 +01:00