the list of available operating systems is here:

https://netboot.xyz/docs/faq/#operating-systems

looks like you can use it on aws / ec2:

https://ipxe.org/howto/ec2