hyperlight-unikraft/examples/python/kraft.yaml at aac45710af4bacb5c289433e0697445fe375b7a5 · hyperlight-dev/hyperlight-unikraft · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
# Python on Hyperlight - kraft configuration
specification: '0.6'
name: python-hyperlight

unikraft:
  source: https://github.com/unikraft/unikraft.git
  version: plat-hyperlight
  kconfig:
    # Platform
    CONFIG_PLAT_HYPERLIGHT: 'y'
    CONFIG_PAGING: 'n'
    CONFIG_LIBUKVMEM: 'n'
    CONFIG_LIBUKINTCTLR_HYPERLIGHT: 'y'
    CONFIG_HYPERLIGHT_MAX_GUEST_LOG_LEVEL: 4

    # Suppress all kernel logging (compile-time filtering)
    # NOTE: CONFIG_LIBUKDEBUG cannot be disabled (force-selected by platform).
    # The old CONFIG_LIBUKDEBUG_PRINTK_* names no longer exist; the print
    # system was refactored to CONFIG_LIBUKPRINT_KLVL_*.
    CONFIG_LIBUKPRINT_KLVL_CRIT: 'y'
    CONFIG_LIBUKPRINT_PRINT_TIME: 'n'
    CONFIG_LIBUKPRINT_PRINT_SRCNAME: 'n'
    CONFIG_LIBUKBOOT_BANNER_NONE: 'y'

    # Size optimization
    CONFIG_OPTIMIZE_SIZE: 'y'
    CONFIG_OPTIMIZE_PIE: 'y'

    # VFS and initrd support
    CONFIG_LIBVFSCORE: 'y'
    CONFIG_LIBVFSCORE_AUTOMOUNT_CI: 'y'
    CONFIG_LIBVFSCORE_AUTOMOUNT_CI_CUSTOM: 'y'
    CONFIG_LIBVFSCORE_AUTOMOUNT_CI0_MP: '/'
    CONFIG_LIBVFSCORE_AUTOMOUNT_CI0_DRIVER: 'cpiovfs'
    CONFIG_LIBVFSCORE_AUTOMOUNT_CI0_UKOPTS_IFINITRD0: 'y'
    CONFIG_LIBCPIOVFS: 'y'
    CONFIG_LIBUKCPIO: 'y'

    # ELF loader - execute Python binary, script passed via cmdline
    CONFIG_APPELFLOADER: 'y'
    CONFIG_APPELFLOADER_VFSEXEC: 'y'
    CONFIG_APPELFLOADER_CUSTOMAPPNAME: 'n'
    CONFIG_APPELFLOADER_VFSEXEC_ENVPATH: 'n'
    CONFIG_APPELFLOADER_VFSEXEC_PATH: '/usr/local/bin/python3'
    CONFIG_APPELFLOADER_VFSEXEC_EXECBIT: 'n'
    CONFIG_LIBPOSIX_ENVIRON_ENVP0: 'PATH=/usr/local/bin:/usr/bin:/bin'
    CONFIG_LIBPOSIX_ENVIRON_ENVP1: 'LD_LIBRARY_PATH=/usr/local/lib'
    CONFIG_LIBELF: 'y'

    # Random number support (required for Python)
    CONFIG_LIBUKRANDOM_CMDLINE_SEED: 'y'
    CONFIG_LIBUKRANDOM_GETRANDOM: 'y'

    # Threading support
    CONFIG_LIBUKBOOT_MAINTHREAD: 'y'
    CONFIG_LIBPOSIX_PROCESS_ARCH_PRCTL: 'y'
    CONFIG_LIBPOSIX_PROCESS_MULTITHREADING: 'y'
    CONFIG_LIBPOSIX_FUTEX: 'y'

    # Syscall tracing (debug) — disabled for performance
    # CONFIG_LIBSYSCALL_SHIM_STRACE: 'y'

    # MPI provides per-CPU structures; mmap needed by CPython's memory allocator
    CONFIG_LIBUKMPI: 'y'
    CONFIG_LIBUKMMAP: 'y'


libraries:
  app-elfloader:
    source: https://github.com/unikraft/app-elfloader.git
    version: plat-hyperlight
  libelf:
    source: https://github.com/unikraft/lib-libelf.git
    version: staging

targets:
  - architecture: x86_64
    platform: hyperlight