7 Dec
2016
7 Dec
'16
12:24 p.m.
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.