IRC channel logs

<varno>well, I am going to have to try to see how hard building a linux kernel in freebsd is.

<varno>I think the freebsd kernel is likely to be simpler to build than the linux one, afaik

<varno>I don't know if it is possible to build the linux kernel strait from minix.

<varno>I would love to do it directly from sel4, but the userland just isnt there yet afaik.

<varno>The other big problem is solving microcode. But I don't know how much work adding risc-v support to gcc4 would be.

<oriansj>fossy: serial interfaces have always required required enter to be hit first. I am not certain why.

<oriansj>varno: well the kernel problem is largely a reflection of the filesystem problem.

<oriansj>You need to have an operating system with a file system to build an operating system that supports the complexity in modern filesystems.

<oriansj>I've learn that programming languages do not have to depend on operating systems but were a choice made to simplify work being done in an environment of multiple diffferent operating systems and not enough programming working on creating software.

<oriansj>So I am under the belief that any POSIX could be used to bootstrap linux if it is able to run te tools required to build Linux, along with having all of the required sources.

<oriansj>As for the Microcode problem, we will address it the second someone here thinks it is a fun project to work on (or angry enough to say fuck it and knock that shit out)

<oriansj>Every bootstrapping problem is solvable. They sometimes just require things solved first or a sacrifice of sufficient size.

<oriansj>It only took a dozen of us (and 5 years of work) to go from hex on a POSIX to GCC

<oriansj>So with a little more effort we will solve the kernel bootstrap problem. (even if I have to do it myself) and shart digging into the hardware itself.

IRC channel logs

2021-07-11.log