Sebastien Bourdeauducq f26c53cb35 runtime: use KERNELCPU_PAYLOAD_ADDRESS on UP		2015-04-05 22:16:51 +08:00
..
runtime	runtime: use KERNELCPU_PAYLOAD_ADDRESS on UP	2015-04-05 22:16:51 +08:00
targets	pipistrello: add double-cpu	2015-04-04 20:52:08 -06:00