diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-12-26 21:44:05 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-26 21:44:05 +0100 |
| commit | 586a19e7ece21850ff9347ce78245bf19fe1cdcd (patch) | |
| tree | 6941564018916656a3d2a9a392cdc401c94fef8c /sys/linux/vnet.txt | |
| parent | c87e9eb9bdc75ed5efdd04066f0b1275f6738742 (diff) | |
executor: create more net devices on linux
Diffstat (limited to 'sys/linux/vnet.txt')
| -rw-r--r-- | sys/linux/vnet.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/linux/vnet.txt b/sys/linux/vnet.txt index e998f6ef6..2e2532b69 100644 --- a/sys/linux/vnet.txt +++ b/sys/linux/vnet.txt @@ -53,7 +53,7 @@ mac_addr_link_local { mac_addr_link_local_values = 0x0, 0x1, 0x2, 0x3, 0xe # This corresponds to the last digit in DEV_MAC/DEV_IPV4/DEV_IPV6 in executor/common_linux.h -type netdev_addr_id int8[10:33] +type netdev_addr_id int8[10:43] mac_addr [ empty array[const[0x0, int8], 6] |