64 Bit Pointers

[raphydaphy]

After making a 64 Bit Hello World kernel, add code that allows us to create pointers in 64 Bit.

[Barteks2x]

64bit pointers will be just pointers in C so in most of the code not many things will change. char* will still be char*. It will only make difference in code that takes pointer address as int - it needs to be changed to use uint64 (or maybe even add size_t typedef to allow eventually changing pointer size?). That is - paging code and kheap.

To make the transition a bit easier maybe we could already add size_t type and define it to be uint32?

[raphydaphy]

i am bad at pointer stuff... if that's a good idea then do it ✅