"git@gitlab.riscosopen.org:RiscOS/Sources/Kernel.git" did not exist on "88ef3116f6dbcf3d98ce2019eaf28fbf0d8c2da3"
Define RISCOS_KERNEL when building the kernel
Jeffrey Lee authored
To match BuildSys 7.76
88ef3116