1. 2017-07-17 [1] xentools48 without ipxe? netbsd-po Roy Marples 2. 2017-07-12 [3] NetBSD/EC2 netbsd-po Roger Pau =?i