indolering

We are doing a micro-kernel, which is necessarily from scratch although we may borrow approaches from L4.

That’s odd, the L4 kernels got code reuse up to 50%. Is it that the architecture is just so very different from traditional architectures? Or is it a lack of well supported open-source L4 kernels? I know Intel is using Minix for some of their embedded stuff….

Providing a seed really is good enough to solve most of the system level problems that we see with random number generators. DJB has actually argued against adding output from a HRNG to the entropy pool on Linux. Although I don’t fully agree with his conclusion (the threat model is pretty unrealistic) the theory behind his reasoning is sound.

• This reply was modified 8 years, 8 months ago by  indolering.