Skip to content

Issues: mirage/mirage

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.

Sign up for GitHub

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

59 Open 400 Closed
59 Open 400 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

question about configuration/runtime keys and "staging" thereof
#1422 opened Jun 2, 2023 by hannesm
generated opam file issues
#1421 opened Jun 2, 2023 by hannesm
Makefile: opam install the lock file
#1415 opened Mar 29, 2023 by reynir
add upper bound to ocaml < 5
#1408 opened Mar 10, 2023 by hannesm
3
Outreachy Summer 2023 Outreachy
#1402 opened Feb 24, 2023 by moazzammoriani
50
Test generated makefile
#1398 opened Feb 15, 2023 by hannesm
1
Can we run MirageOS on a bare metal server for better performance.
#1395 opened Feb 8, 2023 by kshv190
2
drop "build" subcommand
#1386 opened Jan 9, 2023 by hannesm
1
ability to specify minimal mirage version in configure
#1381 opened Dec 13, 2022 by hannesm
1
package ~pin doesn't always respect the pin
#1375 opened Nov 17, 2022 by reynir
1
build system and warnings
#1374 opened Nov 11, 2022 by hannesm
9
Local dune libraries are not accessible within a mirage project
#1372 opened Nov 9, 2022 by kit-ty-kate
4
mirage build should execute dune build with a path to avoid building everything in the workspace
#1371 opened Nov 7, 2022 by hannesm
Be able to use PPX on modules used by the unikernel.ml
#1359 opened Oct 3, 2022 by dinosaure
2
Generated opam file is wrong when passing -f <path/to/my/config.ml>
#1357 opened Sep 26, 2022 by hannesm
Doing cleanup in MirageOS when tender shuts down unikernel
#1355 opened Sep 14, 2022 by rand00
2
mirage 4 regression: naming
#1345 opened Aug 29, 2022 by hannesm
1
"expect" tests do not work on macos
#1340 opened Jul 28, 2022 by hannesm
A documentation about mirage and mirage-skeleton
#1336 opened Jun 20, 2022 by dinosaure
4
mirage configure generated opam file
#1331 opened May 17, 2022 by hannesm
1
Generated Makefile only support GNU make
#1330 opened May 16, 2022 by hannesm
2
Be able to append a new dependency module on our final target
#1326 opened Apr 19, 2022 by dinosaure
9
Strictly build what we need to deploy the unikernel and build block device into the default context
#1323 opened Apr 14, 2022 by dinosaure
We should not allow packages with a dot which leads a spurious solver error on the opam monorepo side
#1287 opened Feb 7, 2022 by dinosaure
1
Few new devices and & gilbraltar support
#1281 opened Feb 2, 2022 by dinosaure
13 of 20 tasks
mirage 4.0.0
2
ProTip! Updated in the last three days: updated:>2023-06-03.