!文化祭
次男の高校の．ふらっと1時間くらい．

!KR260でLinuxのメモリサイズ指定
PS上のLinuxで使用するメモリサイズを制限してPLにあけわたすべく，
カーネルの起動オプションに mem=1024M とか追加したかったのだけど，
[Changing the Kernel bootargs Used By U-Boot|https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/2037317633/Getting+Started+with+Certified+Ubuntu+20.04+LTS+for+Xilinx+Devices#%5BinlineExtension%5DChanging-the-Kernel-bootargs-Used-By-U-Boot]だとうまくいかなかった．
で，あれこれ試したところ，↓で設定できた．

:: Ubuntu 22.04.1 LTS の場合
 sudo mount -o rw /boot/firmware # 念のため
 sudo dpkg-reconfigure flash-kernel
で，TUIな設定画面が表示されるので，そこに，cma=128M mem=1024M と設定．

:: Ubuntu 22.04.4 LTS の場合
 sudo vi /etc/default/flash-kernel
で設定ファイルを開いて
 LINUX_KERNEL_CMDLINE="quiet splash cma=128M cpuidle.off=1 mem=1024M"
 LINUX_KERNEL_CMDLINE_DEFAULTS=""
としたあと，
 sudo mount -o rw /boot/firmware
 sudo flash-kernel
で，設定できた．