Skip to content

Releases: dornerworks/microkit

Release list

inspecta-v2.2.0

inspecta-v2.2.0 Latest
Latest

Choose a tag to compare

View all tags
@Furao Furao released this 16 Jul 18:02
inspecta-v2.2.0
8ceb7e3

Microkit v2.2.0-dev + domain scheduler support
seL4 v15.0.0-dev (b7ef16a42d6d87b7)

Assets 3
Loading

Multikernel 22_06_22

Multikernel 22_06_22

Choose a tag to compare

View all tags
@Furao Furao released this 22 Jun 17:45
dw-multikernel-22_06_22
ddcb9c5

Microkit 2.1.0 with CapDL and multikernel support

Loading

inspecta-v1.0.1

inspecta-v1.0.1

Choose a tag to compare

View all tags
@chrisguikema chrisguikema released this 10 Oct 13:51
inspecta-v1.0.1
d6ab321

Small update so Microkit supports a multi-vm configuration

Loading

inspecta-v2.0

inspecta-v2.0

Choose a tag to compare

View all tags
@Furao Furao released this 31 Mar 16:22
inspecta-v2.0
33d55a4

Unverified profile

Loading

inspecta-v1.0

inspecta-v1.0

Choose a tag to compare

View all tags
@Furao Furao released this 16 Dec 15:07
inspecta-v1.0
33d55a4

Add domain scheduling support

Loading

inspecta-v0.5

inspecta-v0.5

Choose a tag to compare

View all tags
@Furao Furao released this 05 Sep 13:42
inspecta-v0.5
f2c6351

A dirty version of microkit v1.4.1 which has SMC support. Enables KernelAllowSMCCalls for the zcu102 board. Disables RISC-V boards because they weren't needed.

Loading