+ customized x86 kernel, a copy of goldfish