Pat Pannuto

I'm not sure I have more description to give than what main says it does: ```c int main(void) { register uint32_t* sp asm ("sp"); printf("\n[TEST] MPU Stack Growth\n"); printf("This test...

I have a vague memory of trying to do this with some precision, and reading blogs / etc that said it's actually really hard to control and report stack size...

I added a commit that sets today-unused, would-be `argc` and `argv` to `0` and `NULL`. This isn't really a functional change of any kind, but the quick test I ran...

`8.3.0.2019.08+dfsg-1` that 2019 is conspicuously old. I don't believe we have anyone who uses Debian as their primary distribution, so I don't think we have a sense of which packages...

It's still present, just moved to the slightly more opaque internal bits: https://github.com/tock/libtock-c/blob/master/libtock/internal/alarm_internal.c#L24 Historically, alarm virtualization happened in userland before it was implemented in the kernel; this meant that there...

I was lazy one upon a lifetime. The newlib in libtock-c is built to support all cortex M's, which do not all have hard floating point support. The fix for...

This is a build for `arm-none-eabi/thumb/v7e-m+fp/hard/newlib`, which I think is correct for that core [newlib.zip](https://github.com/tock/libtock-c/files/4956787/newlib.zip)

try `TOCK_TARGETS=cortex-m4 make`, that'll just do the one

You shouldn't need to cross-compile all of gcc, you just need to rebuild libgcc (these are mostly compiler intrinsics, e.g. the calls to memset and such that gcc can emit)....

Unfortunately, I think there are several more steps that are necessary to get hard floating point working in Tock. There was a start once here ( https://github.com/tock/tock/pull/1010 ), but getting...