curl https://dl.google.com/dl/edgedl/chromeos/recovery/mario_recovery_kernel.zip > ~/trunk/mario_recovery_kernel.zipI guess I'm getting a little lost on this. I already know how to get to the developer console in Chrome OS on this laptop, but I'm not able to boot the Chromium OS build I have on the SD card. The link you provided unfortunately does nothing for me as far as explaining how to get Chromium OS working on the laptop (I apologize if that sounds arrogant, that was not the intention).
To enter Dev-mode you first invoke Recovery, and at the Recovery screen press Ctrl-D (there's no prompt - you have to know to do it). It will ask you to confirm, then reboot into dev-mode.
Dev-mode works the same as always: It will show the scary boot screen and you need to press Ctrl-D or wait 30 seconds to continue booting.
You'll still have to run "
crossystem dev_boot_usb=1" and reboot once to boot from USB drives with Ctrl-U.