Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update odroid overlay for SR2020 #26

Closed
kierdavis opened this issue Oct 2, 2019 · 9 comments
Closed

Update odroid overlay for SR2020 #26

kierdavis opened this issue Oct 2, 2019 · 9 comments
Assignees

Comments

@kierdavis
Copy link
Contributor

No description provided.

@rgilton
Copy link
Contributor

rgilton commented Oct 2, 2019

I have enquired with the comp team about what game we are implementing, and when we know it's actually fixed: https://github.com/srobo/rules/pull/30#issuecomment-537639840

@kierdavis
Copy link
Contributor Author

FYI, it looks like the game designers are aware of the bad libkoki marker we discussed earlier (srobo/libkoki#5) and are working around it: https://github.com/srobo/rules/blob/60855b41b786fec47371cc8babe3027ebe5b4a98/specs.tex#L20

So I recommend we don't worry about shipping a patch for this competition cycle.

@rgilton
Copy link
Contributor

rgilton commented Oct 2, 2019

I've created https://github.com/srobo/odroid-image and migrated the original odroid/setup repository across to it. I think this repository will form the hub of the odroid image building etc.

@kierdavis
Copy link
Contributor Author

Relevant: srobo/tasks#365

My opinion is that we should move technical discussion there and leave this issue as a committee-level thing for ensuring it gets tracked in our meetings.

Also something that we didn't think about is updating the docs to match: srobo/tasks#373

@rgilton
Copy link
Contributor

rgilton commented Oct 2, 2019

Yes, I hadn't planned on this becoming a technical discussion here. I am creating tasks for things in the relevant repositories (e.g. srobo/odroid-image#1)

@rgilton
Copy link
Contributor

rgilton commented Oct 2, 2019

I don't seem to be able to make the odroid-image repository public. Apparently "Organization members can’t change repo visibility." (Edit: Now resolved.)

@rgilton
Copy link
Contributor

rgilton commented Oct 3, 2019

I'm going to emit a KTC motion email to get responsibility for sorting the initial shipment of the odroid overlay/sr-robot/zip-packager stuff delegated to myself temporarily. (Longer term dev/support of it will be dealt with separately later.)

@rgilton
Copy link
Contributor

rgilton commented Oct 24, 2019

Done.

@rgilton rgilton closed this as completed Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants