Skip to content

Actions: Ivan-Velickovic/microkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add imx8mm_evk_no_hyp for testing purposes CI #287: Commit 7bacb6a pushed by Ivan-Velickovic
July 5, 2024 03:59 31m 10s dev
dev
July 5, 2024 03:59 31m 10s
Add odroidc4_no_hyp for testing purposes CI #286: Commit 9b08936 pushed by Ivan-Velickovic
July 5, 2024 03:51 36m 46s dev
dev
July 5, 2024 03:51 36m 46s
Actually map IPC buffer on RISC-V CI #285: Commit 66a7200 pushed by Ivan-Velickovic
June 8, 2024 18:24 40m 23s dev
dev
June 8, 2024 18:24 40m 23s
Re-enable HiFive Unleashed CI #277: Commit 8da0e03 pushed by Ivan-Velickovic
May 15, 2024 02:32 27m 54s dev
dev
May 15, 2024 02:32 27m 54s
temp: increase fan out limit for Odroid-C4 CI #276: Commit 330a3f8 pushed by Ivan-Velickovic
May 8, 2024 06:04 35m 32s dev
dev
May 8, 2024 06:04 35m 32s
microkit: add wrapper around get message length CI #275: Pull request #21 synchronize by Kswin01
April 26, 2024 02:46 24m 38s Kswin01:mr_count
Kswin01:mr_count
April 26, 2024 02:46 24m 38s
Add 'profiler' configuration CI #273: Commit 599fb7b pushed by Ivan-Velickovic
April 12, 2024 05:59 45m 32s dev
dev
April 12, 2024 05:59 45m 32s
Added profile config option CI #271: Pull request #13 synchronize by Kswin01
April 4, 2024 03:43 45m 34s Kswin01:microkit_prof_dev
Kswin01:microkit_prof_dev
April 4, 2024 03:43 45m 34s
Fix microkit_name again CI #269: Commit 8e40fe8 pushed by Ivan-Velickovic
March 25, 2024 06:21 24m 18s dev
dev
March 25, 2024 06:21 24m 18s
Added profile config option CI #266: Pull request #13 synchronize by Kswin01
March 19, 2024 23:34 18m 4s Kswin01:microkit_prof_dev
Kswin01:microkit_prof_dev
March 19, 2024 23:34 18m 4s
Forgot to increase size of PD names in monitor CI #265: Commit c1ddbee pushed by Ivan-Velickovic
March 16, 2024 07:18 22m 53s dev
dev
March 16, 2024 07:18 22m 53s
Use -g instead of -g3 CI #264: Commit c86eb6c pushed by Ivan-Velickovic
March 15, 2024 03:46 23m 29s dev
dev
March 15, 2024 03:46 23m 29s
Make microkit_name bigger CI #263: Commit 1354cdf pushed by Ivan-Velickovic
March 11, 2024 06:22 27m 22s dev
dev
March 11, 2024 06:22 27m 22s
Add initial API for managing cache on ARM platforms CI #256: Commit 9adb5f1 pushed by Ivan-Velickovic
February 22, 2024 02:49 37m 25s dev
dev
February 22, 2024 02:49 37m 25s
Build MaaxBoard with hypervisor kernel CI #255: Commit 7c679ea pushed by Ivan-Velickovic
February 5, 2024 02:37 33m 14s dev
dev
February 5, 2024 02:37 33m 14s
Adjust load address for MaaxBoard CI #254: Commit cceac25 pushed by Ivan-Velickovic
January 31, 2024 04:30 26m 26s dev
dev
January 31, 2024 04:30 26m 26s
Enable hypervisor support for Raspberry Pi 3B CI #253: Commit 9b42ae3 pushed by Ivan-Velickovic
January 29, 2024 01:20 37m 15s dev
dev
January 29, 2024 01:20 37m 15s