Pulsar PXE boot?

g4 at ...461... g4 at ...461...
Wed Dec 7 12:24:17 CET 2016

Hello Alexander,
> No, works fine for us on several machines without issues. If you can get
> 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,


More information about the users mailing list