services:
  linux-integrated-environment:
    build:
      context: .
    image: registry.gitlab.h3132.de/risc-v/linux-integrated-environment:2024-08-15
    platform: linux/riscv64
    volumes:
      - "./workspace:/root/workspace"
    ports:
      - 5901:5900