Compiling turkos-os-gic v0.1.0 (<project>/os-gic)
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.07s