littlekernel / lk

LK embedded kernel
MIT License
3.11k stars 611 forks source link

Aarch64 ILP32 LK #384

Open Surysingh opened 10 months ago

Surysingh commented 10 months ago

Was ever ILP32 model ( Integer, long and pointer are 32 bit, rest are 64 bit) considered for Aarch64 LK?

GCC supports ilp32, can lk be made ilp32 friendly?

travisg commented 5 months ago

I haven't looked into it, it shoudlnt be too hard, but would need to probably have a reasonable use for it to put the time in.