Geoffrey Huntley와 Justin Cormack은 애플리케이션이 운영체제 역할을 맡는 유니커널의 부족한 라이브러리를 AI로 이식한 경험을 공개했다. 기존 mkfs.xfs와 바이트 단위 출력을 비교한 Rust 구현, Orleans를 OCaml로 옮긴 Spaceleans가 사례다. 핵심은 기존 프로그램과 테스트를 정답 기준으로 삼아 결과를 반복 검증하는 데 있다. 셸과 불필요한 기능 제거는 공격 표면을 줄이지만, Unikraft 문서도 모든 공격 경로가 사라지지는 않는다고 명시하므로 보안 보장과 동일시할 수 없다.