Back
mirage/mirage: PR #1599: defunctorise MCLOCK, PCLOCK, TIME, RANDOM
@21227c7
17/02/2025 14:42Link to Github
To use that feature, simply mention target PR in the original PR's description.
Friend PRs
This PR is tested along with the following PRs:- mirage/mirage-skeleton: PR #407: defunctorised versions of unikernels
To use that feature, simply mention target PR in the original PR's description.
Stages:
- ❌ x86_64-debian-10-4.13 (8m42s)
- ❌ arm64-debian-10-4.13 (4m24s)
History:
- 04/03/2025 16:51 ❌ @da23f42 (9m46s)
- 04/03/2025 15:50 ❌ @0f706f7 (33m10s)
- 04/03/2025 15:01 ❌ @0a30bbc (6m16s)
- 04/03/2025 12:11 ❌ @4e2a9a8 (6m06s)
- 04/03/2025 12:08 🟠 @c43c81e
- 04/03/2025 11:49 ❌ @06e16c3 (8m20s)
- 03/03/2025 10:02 🟠 @08ae0c1
- 28/02/2025 16:21 ❌ @5fcddf7 (12m10s)
- 25/02/2025 15:51 ❌ @c559345 (14m28s)
- 17/02/2025 14:42 ❌ @21227c7 (28m25s)
- 04/02/2025 15:22 ❌ @c92714f (9m52s)
- 21/01/2025 22:36 ❌ @1c55f1b (22m41s)