Darth-Ness

Okay, thanks for the help. This is my first time using this command so I didn't expect it to work way. I close this issue if that works.

So after running the above commands, it outputted what looked like the contents of the patch, then asked me to choose a patch file.

"patch -p1 < /home/user/Desktop/le9-patch/le9eb_patches/le9eb-4.19.patch" was the command. The output is actually the "le9eb patch" part of the readme.

It outputted this "/boot config-4.19.0-17-686-pae grub initrd.img-4.19.0-17-686-pae System.map-4.19.0-17-686-pae vmlinuz-4.19.0-17-686-pae "

It is using the Debian 32-bit version

Okay, after looking around for a kernel, I have found none. Any ideas? Wait never mind I think I found one.

According to the docs there does seem to be some [add-ons](https://marked.js.org/using_advanced#extensions). Also shouldn't this be in #170?

Ah okay. What I was thinking for this was a `use library-x` directly in the markup, and then on building it fetches all of the necessary add-ons.

Ah, didn't realize that you could configure the addons as well. Hmm, then yeah it probably makes since to have it in a config file.

It seems I'm noticing the same issue on my machine as well. But for clarification, hot reloading refers to being able to edit a file and have the site change...