Remove hash character from make include directive

See merge request !37

`#include` is C directive that would be treated as comment in make.

Closes #273

pravopisna chyba fixed bash.md

See merge request !36

Resolves #271 #272

nova: Makefile: Use `$(MAKE)` instead of `make`

See merge request !35

This allows CLion to correctly parse `make` output and configure
its intellisense, and it's also the recommended way to recursively
invoke `make`.

Viz #260.

Děkuji Petru Pučilovi za upozornění.

Closes #218, #219, #220, #221, #222, #223.

Combining compiler options -fstack-protector and -nostdlib results in
a program which always segfaults. Because some Linux distributions
enable stack protector by default, we should explicitly disable it.

Closes #252

Matěj Kafka authored 3 years ago and Michal Sojka committed 2 years ago

Original masks split the address to 12+20 bits, but we actually want 10+22.

`Ptab::remap` should map a single 4MB page. On x86, that's a 10 bit page directory
index, and 22 bit offset inside the page. The current NOVA code splits the address
as a 12 bit index + 20 bit offset, which is not correct, and afaict only works because
the mapped addresses all have zeros in the 2 bits that are incorrectly split.

Upstream, the whole file is changed significantly, and the method Hptp::map, which
seems to be used for the same temporary mappings as Ptab::remap, uses 4kB pages:
https://github.com/udosteinberg/NOVA/blob/arm/src/x86_64/ptab_hpt.cpp#L58