1. 2018-12-22 Re: [PATCH 08/14] media: wl128x-radio: use device man linux-blu Pavel Machek 2. 2018-12-22 Re: [PATCH 08/14] media: wl128x-radio: use device man linux-ker Pavel Machek 3. 2018-12-22 Re: [PATCH 08/14] media: wl128x-radio: use device man linux-oma Pavel Machek 4. 2018-12-21 [PATCH 08/14] media: wl128x-radio: use device managed linux-oma Sebastian Reichel 5. 2018-12-21 [PATCH 08/14] media: wl128x-radio: use device managed linux-blu Sebastian Reichel 6. 2018-12-21 [PATCH 08/14] media: wl128x-radio: use device managed linux-ker Sebastian Reichel