New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make building Kitty simpler #49

Open

1 of 2 tasks

Ivan-Velickovic opened this issue Apr 16, 2024 · 1 comment

Collaborator

Ivan-Velickovic commented Apr 16, 2024 •

edited

Loading

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

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 Integrate standard libc #48 is resolved.

Contributor

wom-bat commented Apr 21, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment