Get Kitty functional

[Ivan-Velickovic]

This PR implements the last two bits of getting Kitty fully functional:

• getting the client <-> server interactions working
• getting the UI/framebuffer working.

TODO:

• [x] sort out libm.a
• [x] sort out commit history

Remaining issues:

• MicroPython crashes after a while:

  MON|ERROR: received message 0x00000006  badge: 0x000000000000000e  tcb cap: 0x80000000000057bb
  MON|ERROR: faulting PD: micropython
  Registers: 
  pc : 0x0065767265532030
  spsr : 0x0000000060000040
  x0 : 0x0000000000000006
  x1 : 0x0000000000000006
  x2 : 0x000000000023ffd0
  x3 : 0x00000000002b6168
  x4 : 0x0000000000227490
  x5 : 0x0000000000000003
  x6 : 0x0000000000000000
  x7 : 0xffffffffffffffff
  MON|ERROR: VMFault: ip=0x0065767265532030  fault_addr=0x0065767265532030  fsr=0x0000000082000000  (instruction fault)
  MON|ERROR:    ec: 0x00000020  Instruction Abort from a lower Exception level   il: 1   iss: 0x00000000
  <<seL4(CPU 0) [receiveIPC/142 T0x806ffe7400 "rootserver" @8a000318]: Reply object already has unexecuted reply!>>
  nfs: tcp.c:293:socket_recv_callback: closing connection...

it is not consistent, happens after 5-10 minutes of running the client. It looks like a stack overflow of some sort.

[Ivan-Velickovic]

ugh, GitHub is timing out on downloading the zip for some reason.

[Ivan-Velickovic]

which is why CI is failing

[Ivan-Velickovic]

There are, of course, multiple things to cleanup and fix but at this point this is ready to be merged.