# Critical /dev files which should be present as early as possible, ie. be baked
# into filesystem images.

# At least /dev/console and /dev/null are required to exist for Linux
# to properly boot an init. Here we additionally include important device nodes
# like /dev/kmsg and /dev/ptmx which might need to be available before a proper
# device manager (ie. devtmpfs) is launched.
special_file <
    path: "/dev/console"
    type: CHARACTER_DEV
    major: 5 minor: 1
    mode: 0600 uid: 0 gid: 0
>
special_file <
    path: "/dev/ptmx"
    type: CHARACTER_DEV
    major: 5 minor: 2
    mode: 0644 uid: 0 gid: 0
>
special_file <
    path: "/dev/null"
    type: CHARACTER_DEV
    major: 1 minor: 3
    mode: 0644 uid: 0 gid: 0
>
special_file <
    path: "/dev/kmsg"
    type: CHARACTER_DEV
    major: 1 minor: 11
    mode: 0644 uid: 0 gid: 0
>


# Metropolis core logs to /dev/ttyS0 and /dev/tty0 by default, we want
# these to also be present before devtmpfs is mounted so that minit can
# log there, too.
special_file <
    path: "/dev/tty0"
    type: CHARACTER_DEV
    major: 4 minor: 0
    mode: 0600 uid: 0 gid: 0
>
special_file <
    path: "/dev/ttyS0"
    type: CHARACTER_DEV
    major: 4 minor: 64
    mode: 0660 uid: 0 gid: 0
>