Peter Chubb
Peter Chubb
Is this a good idea?
> But that's more from the perspective of LionsOS, where the tooling will eventually deal with all of this. After discussing with Ivan, maybe the board abstractions don't necessarily belong...
> > I guess I don't really know what problem we're trying to solve? Why is the current approach inadequate? > > What I mean by this is that the...
There's one more thing I'm doing before making this ready for review: adding docs of how it all works in the docs directory. (there's also a minor bug I've just...
Things you can do if this is merged: -- specify optimisation level on the commandline. `make OPTIMISATION=-Os` -- Change MICROKIT _BOARD or MICROKIT_CONFIG and have things rebuild properly -- Switch...
This should now be ready to merge, after a review.
> My main concern is that the meta.py changes introduce implicitness because it tries to abstract over all the examples. I think what would be better is to keep the...
Could be related to these in the logs: `Undefined array key 4 at /var/www/nextcloud/3rdparty/wapmorgan/mp3info/src/Mp3Info.php#397 `
There's a difference between `CC=gcc make` and `make CC=gcc` The first puts CC into the environment; the second puts it into the command line. The order `make` takes variables are:...