Hello, everyone. My name is Saulo, and I'm currently studying software development. However, for the past few months, I've been interested in System-on-a-Chip (SoCs), but honestly, it's been a very different experience. I should mention that in these last five months, I've used them to learn binary, hexadecimal, and AAch64 in their most basic form (registers and LDP). But before delving deeper, I've taken a break and would like your help to learn how to create a hybrid kernel (I'm using Apple's Mach and BSD as a rough example).