barebox:/ devinfo devices: `-- global `-- platform `-- mem0 `-- 0x00000000-0x3fffffff (1 GiB): /dev/ram0 `-- a01000.interrupt-controller `-- soc.0 `-- 110000.dma-apbh `-- a00600.timer `-- a02000.l2-cache ...