Make building Kitty simpler

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

https://lionsos.org

BSD 2-Clause "Simplified" License

82 stars 7 forks source link

Open Ivan-Velickovic opened 4 months ago

Ivan-Velickovic commented 4 months ago

Some of the main problems with building Kitty right now are:

[x] the need of a non-mainline Microkit SDK.
[ ] the need for a specific AArch64 toolchain. This is because MicroPython and libnfs have had issues with building with a non-GCC toolchain. The plan is to move everything to be able to be built with Clang (GCC should still work but we will default to Clang). This will be largely solved once https://github.com/au-ts/lionsos/issues/48 is resolved.

wom-bat commented 4 months ago

Also: fix dependencies in Makefiles so repeated make invocations do the right thing. I'm working on this ...