2019年12月13日号　Ubuntu 19.10.1 for Raspberry Pi・『gve』ドライバのマージ
https://gihyo.jp/admin/clip/01/ubuntu-topics/201912/13
> Ubuntu 19.10のポイントリリースが登場しました。ただし，Raspberry Pi向けのみというものです。
> 詳細はUbuntu Blogに掲載された解説を参照してください。
>
> 19.10.1 for Raspberry Piの位置づけは18.04.2のようなポイントリリースと本質的には同等で，
> 「すでに19.10を利用しているユーザー」がこのバージョンへ乗り換える必要はありません。
> お手元の環境を最新に更新することで，19.10.1と同等の状態にできます。
> 最大のポイントはRaspberry Pi 4の4GBモデルの制限が解決しており，
> ワークアラウンドも，ワークアラウンドに伴う使用可能なメモリ量の制約もない点です。