Hello Alexander, > No, works fine for us on several machines without issues. If you can get to > load the files manually via a tftp-client than it should work.
Are your targets booting UEFI or old-style BIOS? > > > Is the Pulsar source code available? > > No, unfortunately. A shame. > Alternatively you may try iPXE, see > http://genode.org/documentation/release-notes/15.11#Run- > tool_support_for_booting_via_the_iPXE_boot_loader An excellent suggestion and thank you for the link. Much appreciated, Jerry. ------------------------------------------------------------------------------ Developer Access Program for Intel Xeon Phi Processors Access to Intel Xeon Phi processor-based developer platforms. With one year of Intel Parallel Studio XE. Training and support from Colfax. Order your platform today.http://sdm.link/xeonphi _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
