That won't be needed. Since this is more of a kernel project rather than an operating system, it shouldn't need to be booted from an ISO. Later I may create a proper OS using GNU userland.
