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

52 Open 427 Closed
52 Open 427 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

Mirage.Runtime_arg.create undocumented
#1532 opened May 9, 2024 by reynir
mirage 4.5.0 errors report sometimes off-by-one
#1528 opened May 6, 2024 by hannesm
1
Errors reported by mirage 4.5.0
#1520 opened Apr 23, 2024 by hannesm
5
Discoverability of options from binary
#1514 opened Apr 8, 2024 by reynir
question about retiring Random / PCLOCK / MCLOCK / Time interfaces and functors
#1513 opened Mar 27, 2024 by hannesm
11
Documentation: don't refer to functoria documentation
#1512 opened Mar 24, 2024 by reynir
1
development story - the "unikernel as sample" in the same git repository as an opam package
#1497 opened Feb 5, 2024 by hannesm
2
"make clean" doesn't clean the "duniverse" directory
#1496 opened Feb 5, 2024 by hannesm
1
opam-monorepo wants to pin many projects when we want to make depends
#1476 opened Oct 24, 2023 by dinosaure
3
Makefile: opam install the lock file
#1415 opened Mar 29, 2023 by reynir
1
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
package ~pin doesn't always respect the pin
#1375 opened Nov 17, 2022 by reynir
1
Local dune libraries are not accessible within a mirage project
#1372 opened Nov 9, 2022 by kit-ty-kate
4
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
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
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
Add use public names to binaries, and use the right names in targets
#1249 opened Oct 26, 2021 by samoht
@TheLortex
4
keys with spaces are not supported? bug
#1248 opened Oct 26, 2021 by samoht
@TheLortex
6
ProTip! Add no:assignee to see everything that’s not assigned.