Pulsar PXE boot?

[g4 at ...461...]

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.