Does IXP space come out of a separate pool from any other ipv4?
from what I understand, it comes out of a dedicated /16. RIPE NCC will be
able to confirm whether this is a contiguous /16 or not.
185.1.0.0/16 is the /16 reserved for IXP assignments.
However, according to the RIPE-649: "IP space returned by IXPs
will be added to
the reserved pool maintained for IXP use" [1].
This means that we will also make new IXP assignments from an IP
block different than 185.1.0.0/16,
when re-using the "IP space returned by IXPs".