14:36 <CoolerY> Hi

14:37 <CoolerY> As someone who hasn't worked with OS kernels before, I was wondering where I can get started

14:37 <CoolerY> any books or useful references

16:12 <hannes> CoolerY: there are some general papers about MirageOS written. If you want to jump into code (and already know some OCaml), I suggest to look at the hello world example from https://github.com/mirage/mirage-skeleton (to figure out what is done, and how, and why).

16:14 <hannes> unfortunately a concise description of "this is how to do X in MirageOS" and/or "this is the current design of an executable MirageOS unikernel" is not written (to a technical depths) -- there have been some thoughts about writing a handbook, but the text is not there (yet? - it also seems to be stalled)

18:00 <reynir> CoolerY: if it's for writing applications with MirageOS I would say you don't really need much knowledge or experience with OS kernels to get started :)

18:11 <CoolerY> reynir, oh ok

18:11 <CoolerY> hannes, thanks