| 17:06 | topi`_ | any news about the first batch of marvell 8040 boards? |
| 17:29 | vpeter | jnettlet: how can I debug things like this [ 79.615972] Internal error: Oops: 805 [#1] PREEMPT SMP ARM |
| 17:30 | vpeter | Getting with kodi allocating 64MB of mem. |
| 17:33 | bencoh | if you're familiar with building and debugging kernel you could try with kgdb |
| 17:34 | bencoh | (assuming serial for kgdb is already available at that point) |
| 17:34 | bencoh | (I suppose it is) |
| 17:42 | vpeter | Will skip this part then. Checking what kodi is doing. |
| 19:19 | heap_ | vpeter: i thought whats the distro for cuboxi as a normal linux |