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

Better filenames #21

Open
oleks opened this issue Mar 24, 2016 · 1 comment
Open

Better filenames #21

oleks opened this issue Mar 24, 2016 · 1 comment
Assignees
Milestone

Comments

@oleks
Copy link
Member

oleks commented Mar 24, 2016

Having filename extensions like .mips32 and .x86_64 in KUDOS makes the 16-character limit overly restricted, so much that e.g. readwrite is too long a name for a userland program.

I see two ways of resolving this issue:

  1. Allow longer filenames (and thereby, probably, longer paths).
  2. Strip the extensions, since mixed target binaries on the same disk are unlikely to be useful in KUDOS.

I don't think shorter extensions are a viable solution since I prefer standard names to cryptic, perhaps misleading, abbreviations.

@athas
Copy link
Contributor

athas commented Mar 24, 2016

Oleks [email protected] writes:

I don't think shorter extensions are a viable solution since I prefer
standard names to cryptic, perhaps misleading, abbreviations.

I like crypting names and abbreviations. I propose that we prefix MIPS
executable with "h" in honour of John L. Hennesy, and x86-64 executables
with "m" in honour of Gordon Moore.

\ Troels
/\ Henriksen

@oleks oleks added this to the CompSys 2016 milestone Apr 1, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants