1 // SPDX-License-Identifier: GPL-2.0 1 // SPDX-License-Identifier: GPL-2.0
2 /* 2 /*
3 * Samsung SMDK5250 board device tree source 3 * Samsung SMDK5250 board device tree source
4 * 4 *
5 * Copyright (c) 2012 Samsung Electronics Co., 5 * Copyright (c) 2012 Samsung Electronics Co., Ltd.
6 * http://www.samsung.com 6 * http://www.samsung.com
7 */ 7 */
8 8
9 /dts-v1/; 9 /dts-v1/;
10 #include <dt-bindings/clock/maxim,max77686.h> 10 #include <dt-bindings/clock/maxim,max77686.h>
11 #include <dt-bindings/gpio/gpio.h> 11 #include <dt-bindings/gpio/gpio.h>
12 #include <dt-bindings/interrupt-controller/irq 12 #include <dt-bindings/interrupt-controller/irq.h>
13 #include "exynos5250.dtsi" 13 #include "exynos5250.dtsi"
14 14
15 / { 15 / {
16 model = "Samsung SMDK5250 board based 16 model = "Samsung SMDK5250 board based on Exynos5250";
17 compatible = "samsung,smdk5250", "sams 17 compatible = "samsung,smdk5250", "samsung,exynos5250", "samsung,exynos5";
18 18
19 aliases { 19 aliases {
20 mmc0 = &mmc_0; 20 mmc0 = &mmc_0;
21 mmc1 = &mmc_2; 21 mmc1 = &mmc_2;
22 }; 22 };
23 23
24 memory@40000000 { 24 memory@40000000 {
25 device_type = "memory"; 25 device_type = "memory";
26 reg = <0x40000000 0x80000000>; 26 reg = <0x40000000 0x80000000>;
27 }; 27 };
28 28
29 chosen { 29 chosen {
30 bootargs = "root=/dev/ram0 rw 30 bootargs = "root=/dev/ram0 rw ramdisk=8192 initrd=0x41000000,8M init=/linuxrc";
31 stdout-path = "serial2:115200n 31 stdout-path = "serial2:115200n8";
32 }; 32 };
33 33
34 vdd: fixed-regulator-vdd { 34 vdd: fixed-regulator-vdd {
35 compatible = "regulator-fixed" 35 compatible = "regulator-fixed";
36 regulator-name = "vdd-supply"; 36 regulator-name = "vdd-supply";
37 regulator-min-microvolt = <180 37 regulator-min-microvolt = <1800000>;
38 regulator-max-microvolt = <180 38 regulator-max-microvolt = <1800000>;
39 regulator-always-on; 39 regulator-always-on;
40 }; 40 };
41 41
42 dbvdd: fixed-regulator-dbvdd { 42 dbvdd: fixed-regulator-dbvdd {
43 compatible = "regulator-fixed" 43 compatible = "regulator-fixed";
44 regulator-name = "dbvdd-supply 44 regulator-name = "dbvdd-supply";
45 regulator-min-microvolt = <330 45 regulator-min-microvolt = <3300000>;
46 regulator-max-microvolt = <330 46 regulator-max-microvolt = <3300000>;
47 regulator-always-on; 47 regulator-always-on;
48 }; 48 };
49 49
50 spkvdd: fixed-regulator-spkvdd { 50 spkvdd: fixed-regulator-spkvdd {
51 compatible = "regulator-fixed" 51 compatible = "regulator-fixed";
52 regulator-name = "spkvdd-suppl 52 regulator-name = "spkvdd-supply";
53 regulator-min-microvolt = <500 53 regulator-min-microvolt = <5000000>;
54 regulator-max-microvolt = <500 54 regulator-max-microvolt = <5000000>;
55 regulator-always-on; 55 regulator-always-on;
56 }; 56 };
57 57
58 sound { 58 sound {
59 compatible = "samsung,smdk-wm8 59 compatible = "samsung,smdk-wm8994";
60 60
61 samsung,i2s-controller = <&i2s 61 samsung,i2s-controller = <&i2s0>;
62 samsung,audio-codec = <&wm8994 62 samsung,audio-codec = <&wm8994>;
63 }; 63 };
64 64
65 fixed-rate-clocks { 65 fixed-rate-clocks {
66 xxti { 66 xxti {
67 compatible = "samsung, 67 compatible = "samsung,clock-xxti";
68 clock-frequency = <240 68 clock-frequency = <24000000>;
69 }; 69 };
70 70
71 codec_mclk: codec-mclk { 71 codec_mclk: codec-mclk {
72 compatible = "fixed-cl 72 compatible = "fixed-clock";
73 #clock-cells = <0>; 73 #clock-cells = <0>;
74 clock-frequency = <169 74 clock-frequency = <16934000>;
75 }; 75 };
76 }; 76 };
77 }; 77 };
78 78
79 &cpu0 { 79 &cpu0 {
80 cpu0-supply = <&buck2_reg>; 80 cpu0-supply = <&buck2_reg>;
81 }; 81 };
82 82
83 &dp { 83 &dp {
84 samsung,color-space = <0>; 84 samsung,color-space = <0>;
85 samsung,color-depth = <1>; 85 samsung,color-depth = <1>;
86 samsung,link-rate = <0x0a>; 86 samsung,link-rate = <0x0a>;
87 samsung,lane-count = <4>; 87 samsung,lane-count = <4>;
88 88
89 pinctrl-names = "default"; 89 pinctrl-names = "default";
90 pinctrl-0 = <&dp_hpd>; 90 pinctrl-0 = <&dp_hpd>;
91 status = "okay"; 91 status = "okay";
92 92
93 display-timings { 93 display-timings {
94 native-mode = <&timing0>; 94 native-mode = <&timing0>;
95 95
96 timing0: timing { 96 timing0: timing {
97 /* 1280x800 */ 97 /* 1280x800 */
98 clock-frequency = <500 98 clock-frequency = <50000>;
99 hactive = <1280>; 99 hactive = <1280>;
100 vactive = <800>; 100 vactive = <800>;
101 hfront-porch = <4>; 101 hfront-porch = <4>;
102 hback-porch = <4>; 102 hback-porch = <4>;
103 hsync-len = <4>; 103 hsync-len = <4>;
104 vback-porch = <4>; 104 vback-porch = <4>;
105 vfront-porch = <4>; 105 vfront-porch = <4>;
106 vsync-len = <4>; 106 vsync-len = <4>;
107 }; 107 };
108 }; 108 };
109 }; 109 };
110 110
111 &ehci { 111 &ehci {
112 samsung,vbus-gpio = <&gpx2 6 GPIO_ACTI 112 samsung,vbus-gpio = <&gpx2 6 GPIO_ACTIVE_HIGH>;
113 }; 113 };
114 114
115 &fimd { 115 &fimd {
116 status = "okay"; 116 status = "okay";
117 }; 117 };
118 118
119 &hdmi { 119 &hdmi {
120 status = "okay"; 120 status = "okay";
121 ddc = <&i2c_2>; 121 ddc = <&i2c_2>;
122 hpd-gpios = <&gpx3 7 GPIO_ACTIVE_HIGH> 122 hpd-gpios = <&gpx3 7 GPIO_ACTIVE_HIGH>;
123 vdd-supply = <&ldo8_reg>; 123 vdd-supply = <&ldo8_reg>;
124 vdd_osc-supply = <&ldo10_reg>; 124 vdd_osc-supply = <&ldo10_reg>;
125 vdd_pll-supply = <&ldo8_reg>; 125 vdd_pll-supply = <&ldo8_reg>;
126 }; 126 };
127 127
128 &i2c_0 { 128 &i2c_0 {
129 status = "okay"; 129 status = "okay";
130 samsung,i2c-sda-delay = <100>; 130 samsung,i2c-sda-delay = <100>;
131 samsung,i2c-max-bus-freq = <20000>; 131 samsung,i2c-max-bus-freq = <20000>;
132 132
133 eeprom@50 { 133 eeprom@50 {
134 compatible = "samsung,s524ad0x 134 compatible = "samsung,s524ad0xd1", "atmel,24c128";
135 reg = <0x50>; 135 reg = <0x50>;
136 }; 136 };
137 137
138 max77686: pmic@9 { 138 max77686: pmic@9 {
139 compatible = "maxim,max77686"; 139 compatible = "maxim,max77686";
140 reg = <0x09>; 140 reg = <0x09>;
141 interrupt-parent = <&gpx3>; 141 interrupt-parent = <&gpx3>;
142 interrupts = <2 IRQ_TYPE_LEVEL 142 interrupts = <2 IRQ_TYPE_LEVEL_LOW>;
143 pinctrl-names = "default"; 143 pinctrl-names = "default";
144 pinctrl-0 = <&max77686_irq>; 144 pinctrl-0 = <&max77686_irq>;
145 #clock-cells = <1>; 145 #clock-cells = <1>;
146 wakeup-source; 146 wakeup-source;
147 147
148 voltage-regulators { 148 voltage-regulators {
149 ldo1_reg: LDO1 { 149 ldo1_reg: LDO1 {
150 regulator-name 150 regulator-name = "P1.0V_LDO_OUT1";
151 regulator-min- 151 regulator-min-microvolt = <1000000>;
152 regulator-max- 152 regulator-max-microvolt = <1000000>;
153 regulator-alwa 153 regulator-always-on;
154 }; 154 };
155 155
156 ldo2_reg: LDO2 { 156 ldo2_reg: LDO2 {
157 regulator-name 157 regulator-name = "P1.2V_LDO_OUT2";
158 regulator-min- 158 regulator-min-microvolt = <1200000>;
159 regulator-max- 159 regulator-max-microvolt = <1200000>;
160 regulator-alwa 160 regulator-always-on;
161 }; 161 };
162 162
163 ldo3_reg: LDO3 { 163 ldo3_reg: LDO3 {
164 regulator-name 164 regulator-name = "P1.8V_LDO_OUT3";
165 regulator-min- 165 regulator-min-microvolt = <1800000>;
166 regulator-max- 166 regulator-max-microvolt = <1800000>;
167 regulator-alwa 167 regulator-always-on;
168 }; 168 };
169 169
170 ldo4_reg: LDO4 { 170 ldo4_reg: LDO4 {
171 regulator-name 171 regulator-name = "P2.8V_LDO_OUT4";
172 regulator-min- 172 regulator-min-microvolt = <2800000>;
173 regulator-max- 173 regulator-max-microvolt = <2800000>;
174 }; 174 };
175 175
176 ldo5_reg: LDO5 { 176 ldo5_reg: LDO5 {
177 regulator-name 177 regulator-name = "P1.8V_LDO_OUT5";
178 regulator-min- 178 regulator-min-microvolt = <1800000>;
179 regulator-max- 179 regulator-max-microvolt = <1800000>;
180 }; 180 };
181 181
182 ldo6_reg: LDO6 { 182 ldo6_reg: LDO6 {
183 regulator-name 183 regulator-name = "P1.1V_LDO_OUT6";
184 regulator-min- 184 regulator-min-microvolt = <1100000>;
185 regulator-max- 185 regulator-max-microvolt = <1100000>;
186 regulator-alwa 186 regulator-always-on;
187 }; 187 };
188 188
189 ldo7_reg: LDO7 { 189 ldo7_reg: LDO7 {
190 regulator-name 190 regulator-name = "P1.1V_LDO_OUT7";
191 regulator-min- 191 regulator-min-microvolt = <1100000>;
192 regulator-max- 192 regulator-max-microvolt = <1100000>;
193 regulator-alwa 193 regulator-always-on;
194 }; 194 };
195 195
196 ldo8_reg: LDO8 { 196 ldo8_reg: LDO8 {
197 regulator-name 197 regulator-name = "P1.0V_LDO_OUT8";
198 regulator-min- 198 regulator-min-microvolt = <1000000>;
199 regulator-max- 199 regulator-max-microvolt = <1000000>;
200 }; 200 };
201 201
202 ldo10_reg: LDO10 { 202 ldo10_reg: LDO10 {
203 regulator-name 203 regulator-name = "P1.8V_LDO_OUT10";
204 regulator-min- 204 regulator-min-microvolt = <1800000>;
205 regulator-max- 205 regulator-max-microvolt = <1800000>;
206 regulator-alwa 206 regulator-always-on;
207 }; 207 };
208 208
209 ldo11_reg: LDO11 { 209 ldo11_reg: LDO11 {
210 regulator-name 210 regulator-name = "P1.8V_LDO_OUT11";
211 regulator-min- 211 regulator-min-microvolt = <1800000>;
212 regulator-max- 212 regulator-max-microvolt = <1800000>;
213 }; 213 };
214 214
215 ldo12_reg: LDO12 { 215 ldo12_reg: LDO12 {
216 regulator-name 216 regulator-name = "P3.0V_LDO_OUT12";
217 regulator-min- 217 regulator-min-microvolt = <3000000>;
218 regulator-max- 218 regulator-max-microvolt = <3000000>;
219 }; 219 };
220 220
221 ldo13_reg: LDO13 { 221 ldo13_reg: LDO13 {
222 regulator-name 222 regulator-name = "P1.8V_LDO_OUT13";
223 regulator-min- 223 regulator-min-microvolt = <1800000>;
224 regulator-max- 224 regulator-max-microvolt = <1800000>;
225 }; 225 };
226 226
227 ldo14_reg: LDO14 { 227 ldo14_reg: LDO14 {
228 regulator-name 228 regulator-name = "P1.8V_LDO_OUT14";
229 regulator-min- 229 regulator-min-microvolt = <1800000>;
230 regulator-max- 230 regulator-max-microvolt = <1800000>;
231 }; 231 };
232 232
233 ldo15_reg: LDO15 { 233 ldo15_reg: LDO15 {
234 regulator-name 234 regulator-name = "P1.0V_LDO_OUT15";
235 regulator-min- 235 regulator-min-microvolt = <1000000>;
236 regulator-max- 236 regulator-max-microvolt = <1000000>;
237 }; 237 };
238 238
239 ldo16_reg: LDO16 { 239 ldo16_reg: LDO16 {
240 regulator-name 240 regulator-name = "P1.8V_LDO_OUT16";
241 regulator-min- 241 regulator-min-microvolt = <1800000>;
242 regulator-max- 242 regulator-max-microvolt = <1800000>;
243 }; 243 };
244 244
245 buck1_reg: BUCK1 { 245 buck1_reg: BUCK1 {
246 regulator-name 246 regulator-name = "vdd_mif";
247 regulator-min- 247 regulator-min-microvolt = <950000>;
248 regulator-max- 248 regulator-max-microvolt = <1300000>;
249 regulator-alwa 249 regulator-always-on;
250 regulator-boot 250 regulator-boot-on;
251 }; 251 };
252 252
253 buck2_reg: BUCK2 { 253 buck2_reg: BUCK2 {
254 regulator-name 254 regulator-name = "vdd_arm";
255 regulator-min- 255 regulator-min-microvolt = <850000>;
256 regulator-max- 256 regulator-max-microvolt = <1350000>;
257 regulator-alwa 257 regulator-always-on;
258 regulator-boot 258 regulator-boot-on;
259 }; 259 };
260 260
261 buck3_reg: BUCK3 { 261 buck3_reg: BUCK3 {
262 regulator-name 262 regulator-name = "vdd_int";
263 regulator-min- 263 regulator-min-microvolt = <900000>;
264 regulator-max- 264 regulator-max-microvolt = <1200000>;
265 regulator-alwa 265 regulator-always-on;
266 regulator-boot 266 regulator-boot-on;
267 }; 267 };
268 268
269 buck4_reg: BUCK4 { 269 buck4_reg: BUCK4 {
270 regulator-name 270 regulator-name = "vdd_g3d";
271 regulator-min- 271 regulator-min-microvolt = <850000>;
272 regulator-max- 272 regulator-max-microvolt = <1300000>;
273 regulator-alwa 273 regulator-always-on;
274 regulator-boot 274 regulator-boot-on;
275 }; 275 };
276 276
277 buck5_reg: BUCK5 { 277 buck5_reg: BUCK5 {
278 regulator-name 278 regulator-name = "P1.8V_BUCK_OUT5";
279 regulator-min- 279 regulator-min-microvolt = <1800000>;
280 regulator-max- 280 regulator-max-microvolt = <1800000>;
281 regulator-alwa 281 regulator-always-on;
282 regulator-boot 282 regulator-boot-on;
283 }; 283 };
284 }; 284 };
285 }; 285 };
286 }; 286 };
287 287
288 &i2c_1 { 288 &i2c_1 {
289 status = "okay"; 289 status = "okay";
290 samsung,i2c-sda-delay = <100>; 290 samsung,i2c-sda-delay = <100>;
291 samsung,i2c-max-bus-freq = <20000>; 291 samsung,i2c-max-bus-freq = <20000>;
292 292
293 eeprom@51 { 293 eeprom@51 {
294 compatible = "samsung,s524ad0x 294 compatible = "samsung,s524ad0xd1", "atmel,24c128";
295 reg = <0x51>; 295 reg = <0x51>;
296 }; 296 };
297 297
298 wm8994: audio-codec@1a { 298 wm8994: audio-codec@1a {
299 compatible = "wlf,wm8994"; 299 compatible = "wlf,wm8994";
300 reg = <0x1a>; 300 reg = <0x1a>;
301 301
302 gpio-controller; 302 gpio-controller;
303 #gpio-cells = <2>; 303 #gpio-cells = <2>;
304 304
305 clocks = <&codec_mclk>; 305 clocks = <&codec_mclk>;
306 clock-names = "MCLK1"; 306 clock-names = "MCLK1";
307 307
308 AVDD2-supply = <&vdd>; 308 AVDD2-supply = <&vdd>;
309 CPVDD-supply = <&vdd>; 309 CPVDD-supply = <&vdd>;
310 DBVDD-supply = <&dbvdd>; 310 DBVDD-supply = <&dbvdd>;
311 SPKVDD1-supply = <&spkvdd>; 311 SPKVDD1-supply = <&spkvdd>;
312 SPKVDD2-supply = <&spkvdd>; 312 SPKVDD2-supply = <&spkvdd>;
313 }; 313 };
314 }; 314 };
315 315
316 &i2c_2 { 316 &i2c_2 {
317 status = "okay"; 317 status = "okay";
318 /* used by HDMI DDC */ 318 /* used by HDMI DDC */
319 samsung,i2c-sda-delay = <100>; 319 samsung,i2c-sda-delay = <100>;
320 samsung,i2c-max-bus-freq = <66000>; 320 samsung,i2c-max-bus-freq = <66000>;
321 }; 321 };
322 322
323 &i2c_8 { 323 &i2c_8 {
324 status = "okay"; 324 status = "okay";
325 /* used by HDMI PHY */ 325 /* used by HDMI PHY */
326 samsung,i2c-sda-delay = <100>; 326 samsung,i2c-sda-delay = <100>;
327 samsung,i2c-max-bus-freq = <66000>; 327 samsung,i2c-max-bus-freq = <66000>;
328 }; 328 };
329 329
330 &i2c_9 { 330 &i2c_9 {
331 status = "okay"; 331 status = "okay";
332 samsung,i2c-sda-delay = <100>; 332 samsung,i2c-sda-delay = <100>;
333 samsung,i2c-max-bus-freq = <40000>; 333 samsung,i2c-max-bus-freq = <40000>;
334 }; 334 };
335 335
336 &i2s0 { 336 &i2s0 {
337 status = "okay"; 337 status = "okay";
338 }; 338 };
339 339
340 &mixer { 340 &mixer {
341 status = "okay"; 341 status = "okay";
342 }; 342 };
343 343
344 &mmc_0 { 344 &mmc_0 {
345 status = "okay"; 345 status = "okay";
346 broken-cd; 346 broken-cd;
347 card-detect-delay = <200>; 347 card-detect-delay = <200>;
348 samsung,dw-mshc-ciu-div = <3>; 348 samsung,dw-mshc-ciu-div = <3>;
349 samsung,dw-mshc-sdr-timing = <2 3>; 349 samsung,dw-mshc-sdr-timing = <2 3>;
350 samsung,dw-mshc-ddr-timing = <1 2>; 350 samsung,dw-mshc-ddr-timing = <1 2>;
351 pinctrl-names = "default"; 351 pinctrl-names = "default";
352 pinctrl-0 = <&sd0_clk &sd0_cmd &sd0_bu 352 pinctrl-0 = <&sd0_clk &sd0_cmd &sd0_bus4 &sd0_bus8>;
353 bus-width = <8>; 353 bus-width = <8>;
354 cap-mmc-highspeed; 354 cap-mmc-highspeed;
355 mmc-ddr-1_8v; 355 mmc-ddr-1_8v;
356 }; 356 };
357 357
358 &mmc_2 { 358 &mmc_2 {
359 status = "okay"; 359 status = "okay";
360 card-detect-delay = <200>; 360 card-detect-delay = <200>;
361 samsung,dw-mshc-ciu-div = <3>; 361 samsung,dw-mshc-ciu-div = <3>;
362 samsung,dw-mshc-sdr-timing = <2 3>; 362 samsung,dw-mshc-sdr-timing = <2 3>;
363 samsung,dw-mshc-ddr-timing = <1 2>; 363 samsung,dw-mshc-ddr-timing = <1 2>;
364 pinctrl-names = "default"; 364 pinctrl-names = "default";
365 pinctrl-0 = <&sd2_clk &sd2_cmd &sd2_cd 365 pinctrl-0 = <&sd2_clk &sd2_cmd &sd2_cd &sd2_bus4>;
366 bus-width = <4>; 366 bus-width = <4>;
367 disable-wp; 367 disable-wp;
368 cap-sd-highspeed; 368 cap-sd-highspeed;
369 }; 369 };
370 370
371 &rtc { 371 &rtc {
372 status = "okay"; 372 status = "okay";
373 clocks = <&clock CLK_RTC>, <&max77686 373 clocks = <&clock CLK_RTC>, <&max77686 MAX77686_CLK_AP>;
374 clock-names = "rtc", "rtc_src"; 374 clock-names = "rtc", "rtc_src";
375 }; 375 };
376 376
377 &sata { 377 &sata {
378 status = "okay"; 378 status = "okay";
379 }; 379 };
380 380
381 &sata_phy { 381 &sata_phy {
382 status = "okay"; 382 status = "okay";
383 samsung,exynos-sataphy-i2c-phandle = < 383 samsung,exynos-sataphy-i2c-phandle = <&sata_phy_i2c>;
384 }; 384 };
385 385
386 &sata_phy_i2c { 386 &sata_phy_i2c {
387 status = "okay"; 387 status = "okay";
388 }; 388 };
389 389
390 &spi_1 { 390 &spi_1 {
391 status = "okay"; 391 status = "okay";
392 cs-gpios = <&gpa2 5 GPIO_ACTIVE_HIGH>; 392 cs-gpios = <&gpa2 5 GPIO_ACTIVE_HIGH>;
393 393
394 flash@0 { 394 flash@0 {
395 #address-cells = <1>; 395 #address-cells = <1>;
396 #size-cells = <1>; 396 #size-cells = <1>;
397 compatible = "winbond,w25x80", 397 compatible = "winbond,w25x80", "jedec,spi-nor";
398 reg = <0>; 398 reg = <0>;
399 spi-max-frequency = <1000000>; 399 spi-max-frequency = <1000000>;
400 400
401 controller-data { 401 controller-data {
402 samsung,spi-feedback-d 402 samsung,spi-feedback-delay = <0>;
403 }; 403 };
404 404
405 partition@0 { 405 partition@0 {
406 label = "U-Boot"; 406 label = "U-Boot";
407 reg = <0x0 0x40000>; 407 reg = <0x0 0x40000>;
408 read-only; 408 read-only;
409 }; 409 };
410 410
411 partition@40000 { 411 partition@40000 {
412 label = "Kernel"; 412 label = "Kernel";
413 reg = <0x40000 0xc0000 413 reg = <0x40000 0xc0000>;
414 }; 414 };
415 }; 415 };
416 }; 416 };
417 417
418 &pinctrl_0 { 418 &pinctrl_0 {
419 max77686_irq: max77686-irq-pins { 419 max77686_irq: max77686-irq-pins {
420 samsung,pins = "gpx3-2"; 420 samsung,pins = "gpx3-2";
421 samsung,pin-function = <EXYNOS 421 samsung,pin-function = <EXYNOS_PIN_FUNC_F>;
422 samsung,pin-pud = <EXYNOS_PIN_ 422 samsung,pin-pud = <EXYNOS_PIN_PULL_NONE>;
423 samsung,pin-drv = <EXYNOS4_PIN 423 samsung,pin-drv = <EXYNOS4_PIN_DRV_LV1>;
424 }; 424 };
425 }; 425 };
426 426
427 &usbdrd { 427 &usbdrd {
428 vdd10-supply = <&ldo15_reg>; 428 vdd10-supply = <&ldo15_reg>;
429 vdd33-supply = <&ldo12_reg>; 429 vdd33-supply = <&ldo12_reg>;
430 }; 430 };
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.