#include <dt-bindings/gpio/gpio.h>
#include <dt-bindings/input/input.h>
+#include <dt-bindings/leds/common.h>
/ {
model = "Extreme Networks WS-AP3825i";
compatible = "extreme-networks,ws-ap3825i";
+ #address-cells = <2>;
+ #size-cells = <2>;
+
aliases {
ethernet0 = &enet0;
ethernet1 = &enet2;
chosen {
bootargs-override = "console=ttyS0,115200";
- linux,stdout-path = &serial0;
+ stdout-path = &serial0;
};
memory {
led_power_green: power_green {
gpios = <&spi_gpio 0 GPIO_ACTIVE_HIGH>;
- label = "green:power";
+ function = LED_FUNCTION_POWER;
+ color = <LED_COLOR_ID_GREEN>;
};
led_power_red: power_red {
gpios = <&spi_gpio 1 GPIO_ACTIVE_HIGH>;
- label = "red:power";
+ function = LED_FUNCTION_POWER;
+ color = <LED_COLOR_ID_RED>;
};
lan1_red {
reg = <0x0 0x0 0x0 0x10000000>;
};
+ reserved-memory {
+ #address-cells = <2>;
+ #size-cells = <2>;
+ ranges;
+
+ cpu1-bootpage@ff00000 {
+ /* Reserve upper 1 MB for second-core-bootpage */
+ reg = <0x0 0xff00000 0x0 0x100000>;
+ };
+ };
+
soc@ffe00000 {
bus-frequency = <399999996>;