Rename task's name member to bin-crate

app/cosmo/base.toml

@@ -19,7 +19,7 @@ region = "flash"
 size = 256
 
 [tasks.jefe]
-name = "task-jefe"
+bin-crate = "task-jefe"
 priority = 0
 max-sizes = {flash = 16384, ram = 2048}
 start = true
@@ -39,7 +39,7 @@ set_reset_reason = ["sys"]
 request_reset = ["hiffy", "control_plane_agent"]
 
 [tasks.net]
-name = "task-net"
+bin-crate = "task-net"
 stacksize = 8000
 priority = 5
 features = ["mgmt", "h753", "cosmo", "vlan", "vpd-mac"]
@@ -52,7 +52,7 @@ task-slots = ["sys", "packrat", { spi_driver = "spi2_driver" }, "jefe"]
 notifications = ["eth-irq", "mdio-timer-irq", "wake-timer", "jefe-state-change"]
 
 [tasks.sys]
-name = "drv-stm32xx-sys"
+bin-crate = "drv-stm32xx-sys"
 features = ["h753", "exti", "no-panic"]
 priority = 1
 uses = ["rcc", "gpios", "system_flash", "syscfg", "exti"]
@@ -75,7 +75,7 @@ pin = 2
 owner = {name = "sprot", notification = "rot_irq"}
 
 [tasks.spi2_driver]
-name = "drv-stm32h7-spi-server"
+bin-crate = "drv-stm32h7-spi-server"
 priority = 3
 max-sizes = {flash = 16384, ram = 4096}
 features = ["spi2", "h753"]
@@ -88,7 +88,7 @@ notifications = ["spi-irq"]
 
 # XXX this is only used by cosmo_seq; could we merge it?
 [tasks.spi3_driver]
-name = "drv-stm32h7-spi-server"
+bin-crate = "drv-stm32h7-spi-server"
 priority = 3
 max-sizes = {flash = 16384, ram = 4096}
 features = ["spi3", "h753"]
@@ -100,7 +100,7 @@ task-slots = ["sys"]
 notifications = ["spi-irq"]
 
 [tasks.i2c_driver]
-name = "drv-stm32xx-i2c-server"
+bin-crate = "drv-stm32xx-i2c-server"
 stacksize = 1048
 features = ["h753"]
 priority = 3
@@ -120,7 +120,7 @@ notifications = ["i2c1-irq", "i2c2-irq", "i2c3-irq", "i2c4-irq"]
 "i2c4.error" = "i2c4-irq"
 
 [tasks.packrat]
-name = "task-packrat"
+bin-crate = "task-packrat"
 priority = 1
 stacksize = 1040
 start = true
@@ -130,15 +130,15 @@ features = ["cosmo", "ereport"]
 
 [tasks.rng_driver]
 features = ["h753", "ereport"]
-name = "drv-stm32h7-rng"
+bin-crate = "drv-stm32h7-rng"
 priority = 6
 uses = ["rng"]
 start = true
 stacksize = 512
 task-slots = ["sys", "packrat"]
 
 [tasks.thermal]
-name = "task-thermal"
+bin-crate = "task-thermal"
 features = ["cosmo"]
 priority = 8
 max-sizes = {flash = 32768, ram = 8192 }
@@ -148,7 +148,7 @@ task-slots = ["i2c_driver", "sensor", "cosmo_seq", "jefe"]
 notifications = ["timer"]
 
 [tasks.power]
-name = "task-power"
+bin-crate = "task-power"
 features = ["cosmo"]
 priority = 8
 max-sizes = {flash = 65536, ram = 16384 }
@@ -158,7 +158,7 @@ task-slots = ["i2c_driver", "sensor", "cosmo_seq"]
 notifications = ["timer"]
 
 [tasks.hiffy]
-name = "task-hiffy"
+bin-crate = "task-hiffy"
 features = ["h753", "stm32h7", "i2c", "gpio", "spi", "qspi", "hash", "sprot", "turbo"]
 priority = 7
 max-sizes = {flash = 32768, ram = 32768 }
@@ -167,7 +167,7 @@ start = true
 task-slots = ["sys", "hf", "i2c_driver", "hash_driver", "update_server", "sprot"]
 
 [tasks.cosmo_seq]
-name = "drv-cosmo-seq-server"
+bin-crate = "drv-cosmo-seq-server"
 features = ["h753"]
 priority = 7
 max-sizes = {flash = 131072, ram = 16384 }
@@ -178,15 +178,15 @@ uses = ["mmio_sequencer", "mmio_info"]
 notifications = ["timer", "vcore"]
 
 [tasks.ignition_flash]
-name = "drv-ignition-flash"
+bin-crate = "drv-ignition-flash"
 priority = 7
 stacksize = 1200
 start = true
 task-slots = ["sys", {spi_front = "spi3_driver"}, "spartan7_loader"]
 uses = ["mmio_sequencer"] # TODO make the mux a separate peripheral
 
 [tasks.spartan7_loader]
-name = "drv-spartan7-loader"
+bin-crate = "drv-spartan7-loader"
 features = ["h753"]
 priority = 4
 max-sizes = {flash = 131072, ram = 16384 }
@@ -205,7 +205,7 @@ fpga_image = "cosmo-a.bin"
 register_defs = "cosmo-regs-a.json"
 
 [tasks.hash_driver]
-name = "drv-stm32h7-hash-server"
+bin-crate = "drv-stm32h7-hash-server"
 features = ["h753"]
 priority = 2
 max-sizes = {flash = 16384, ram=4096 }
@@ -217,7 +217,7 @@ task-slots = ["sys"]
 notifications = ["hash-irq"]
 
 [tasks.hf]
-name = "drv-cosmo-hf"
+bin-crate = "drv-cosmo-hf"
 priority = 6
 start = true
 uses = ["mmio_spi_nor"]
@@ -226,7 +226,7 @@ stacksize = 4000
 notifications = ["timer"]
 
 [tasks.update_server]
-name = "stm32h7-update-server"
+bin-crate = "stm32h7-update-server"
 priority = 3
 max-sizes = {flash = 16384, ram = 4096}
 stacksize = 2048
@@ -237,14 +237,14 @@ interrupts = {"flash_controller.irq" = "flash-irq"}
 notifications = ["flash-irq"]
 
 [tasks.sensor]
-name = "task-sensor"
+bin-crate = "task-sensor"
 priority = 4
 max-sizes = {flash = 16384, ram = 16384 }
 stacksize = 1024
 start = true
 
 [tasks.host_sp_comms]
-name = "task-host-sp-comms"
+bin-crate = "task-host-sp-comms"
 features = ["stm32h753", "usart6", "baud_rate_3M", "hardware_flow_control", "vlan", "cosmo"]
 uses = ["usart6", "dbgmcu"]
 interrupts = {"usart6.irq" = "usart-irq"}
@@ -256,7 +256,7 @@ task-slots = ["sys", { cpu_seq = "cosmo_seq" }, "hf", "control_plane_agent", "ne
 notifications = ["jefe-state-change", "usart-irq", "multitimer", "control-plane-agent"]
 
 [tasks.udpecho]
-name = "task-udpecho"
+bin-crate = "task-udpecho"
 priority = 6
 max-sizes = {flash = 16384, ram = 8192}
 stacksize = 4096
@@ -266,7 +266,7 @@ features = ["vlan"]
 notifications = ["socket"]
 
 [tasks.udpbroadcast]
-name = "task-udpbroadcast"
+bin-crate = "task-udpbroadcast"
 priority = 6
 max-sizes = {flash = 16384, ram = 8192}
 stacksize = 2048
@@ -276,7 +276,7 @@ features = ["vlan"]
 notifications = ["socket"]
 
 [tasks.control_plane_agent]
-name = "task-control-plane-agent"
+bin-crate = "task-control-plane-agent"
 priority = 8
 stacksize = 7000
 start = true
@@ -310,7 +310,7 @@ notifications = ["usart-irq", "socket", "timer"]
 interrupts = {"usart1.irq" = "usart-irq"}
 
 [tasks.sprot]
-name = "drv-stm32h7-sprot-server"
+bin-crate = "drv-stm32h7-sprot-server"
 priority = 4
 max-sizes = {flash = 65536, ram = 32768}
 stacksize = 16384
@@ -322,23 +322,23 @@ notifications = ["spi-irq", "rot-irq", "timer"]
 interrupts = {"spi5.irq" = "spi-irq"}
 
 [tasks.validate]
-name = "task-validate"
+bin-crate = "task-validate"
 priority = 5
 max-sizes = {flash = 16384, ram = 4096 }
 stacksize = 1000
 start = true
 task-slots = ["i2c_driver"]
 
 [tasks.vpd]
-name = "task-vpd"
+bin-crate = "task-vpd"
 priority = 4
 max-sizes = {flash = 8192, ram = 1024}
 start = true
 task-slots = ["sys", "i2c_driver"]
 stacksize = 800
 
 [tasks.user_leds]
-name = "drv-user-leds"
+bin-crate = "drv-user-leds"
 features = ["stm32h7"]
 priority = 2
 max-sizes = {flash = 2048, ram = 1024}
@@ -347,7 +347,7 @@ task-slots = ["sys"]
 notifications = ["timer"]
 
 [tasks.dump_agent]
-name = "task-dump-agent"
+bin-crate = "task-dump-agent"
 priority = 6
 max-sizes = {flash = 32768, ram = 16384 }
 start = true
@@ -358,7 +358,7 @@ notifications = ["socket"]
 features = ["net", "vlan"]
 
 [tasks.snitch]
-name = "task-snitch"
+bin-crate = "task-snitch"
 # The snitch should have a priority immediately below that of the net task,
 # to minimize the number of components that can starve it from resources.
 priority = 6
@@ -369,7 +369,7 @@ features = ["vlan"]
 notifications = ["socket"]
 
 [tasks.spd]
-name = "task-cosmo-spd"
+bin-crate = "task-cosmo-spd"
 priority = 7
 max-sizes = {flash = 8192, ram = 4096 }
 start = true
@@ -378,7 +378,7 @@ task-slots = ["jefe", "spartan7_loader", "packrat", "sensor"]
 uses = ["mmio_dimms"]
 
 [tasks.auxflash]
-name = "drv-auxflash-server"
+bin-crate = "drv-auxflash-server"
 priority = 3
 max-sizes = {flash = 32768, ram = 4096}
 features = ["h753"]
@@ -390,7 +390,7 @@ stacksize = 3504
 task-slots = ["sys"]
 
 [tasks.idle]
-name = "task-idle"
+bin-crate = "task-idle"
 priority = 15
 max-sizes = {flash = 128, ram = 256}
 stacksize = 256

app/cosmo/dev.toml

@@ -4,7 +4,7 @@
 request_reset = ["udprpc"]
 
 [tasks.udprpc]
-name = "task-udprpc"
+bin-crate = "task-udprpc"
 priority = 6
 max-sizes = {flash = 32768, ram = 8192}
 stacksize = 4096
@@ -14,7 +14,7 @@ features = ["vlan"]
 notifications = ["socket"]
 
 [tasks.fmc_demo]
-name = "drv-stm32h7-fmc-demo-server"
+bin-crate = "drv-stm32h7-fmc-demo-server"
 features = ["h753"]
 priority = 6
 start = true

app/demo-stm32f4-discovery/app-f3.toml

@@ -10,23 +10,23 @@ requires = {flash = 20000, ram = 3072}
 features = ["stm32f3"]
 
 [tasks.jefe]
-name = "task-jefe"
+bin-crate = "task-jefe"
 priority = 0
 max-sizes = {flash = 8192, ram = 2048}
 start = true
 stacksize = 1536
 notifications = ["fault", "timer"]
 
 [tasks.rcc_driver]
-name = "drv-stm32fx-rcc"
+bin-crate = "drv-stm32fx-rcc"
 features = ["f3"]
 priority = 1
 max-sizes = {flash = 8192, ram = 1024}
 uses = ["rcc"]
 start = true
 
 [tasks.usart_driver]
-name = "drv-stm32fx-usart"
+bin-crate = "drv-stm32fx-usart"
 features = ["stm32f3"]
 priority = 2
 max-sizes = {flash = 8192, ram = 1024}
@@ -37,7 +37,7 @@ interrupts = {"usart2.irq" = "usart-irq"}
 task-slots = ["rcc_driver"]
 
 [tasks.user_leds]
-name = "drv-user-leds"
+bin-crate = "drv-user-leds"
 features = ["stm32f3"]
 priority = 2
 max-sizes = {flash = 8192, ram = 1024}
@@ -47,7 +47,7 @@ task-slots = ["rcc_driver"]
 notifications = ["timer"]
 
 [tasks.ping]
-name = "task-ping"
+bin-crate = "task-ping"
 features = ["uart"]
 priority = 4
 max-sizes = {flash = 8192, ram = 1024}
@@ -56,22 +56,22 @@ start = true
 task-slots = [{peer = "pong"}, "usart_driver"]
 
 [tasks.pong]
-name = "task-pong"
+bin-crate = "task-pong"
 priority = 3
 max-sizes = {flash = 8192, ram = 1024}
 start = true
 task-slots = ["user_leds"]
 notifications = ["timer"]
 
 [tasks.hiffy]
-name = "task-hiffy"
+bin-crate = "task-hiffy"
 priority = 3
 max-sizes = {flash = 16384, ram = 16384 }
 stacksize = 2048
 start = true
 
 [tasks.idle]
-name = "task-idle"
+bin-crate = "task-idle"
 priority = 5
 max-sizes = {flash = 128, ram = 256}
 stacksize = 256