minix/minix/kernel/arch
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