This undos a workaround. Jeremy moved the ralloc stuff to platform and suddenly this seems to work again. I don't know what is different from when I tried this before and now, but I don't really care

Fixing some things in stdio

See merge request !136

Actually remove stdlib from stdio. This should have been done with wchar being put in, but I messed something up

Apparently a root-level cfg does not go well with a root-level no_std

Stage and Cache build

See merge request !150

Workaround compilation errors

See merge request !149

Changed FILE to use a vector as a buffer instead of raw pointers. This allows us to remove the large majority of unsafe blocks from the code

Changed FILE to use a vector as a buffer instead of raw pointers. This allows us to remove the large majority of unsafe blocks from the code

Changed FILE to use a vector as a buffer instead of raw pointers. This allows us to remove the large majority of unsafe blocks from the code