typically, you would use RTMP to push your stream to a server that would deliver that stream as HLS to roku devices, typically that would be a Wowza or FMS server, but there are a few other options. The .SMIL file goes on the server and is typically used in multibitrate streaming scenarios. There is an option to run wowza on Amazon:
http://www.wowza.com/pricing/ec2-streamingYes you would use an m3u8 for HLS, although it may not be necessary that the file have the .m3u8 extension.
IOS compatible two bitrate smil with 64k audio stream file might look like:
<smil>
<head>
</head>
<body>
<switch>
<video src="feed003" system-bitrate="64000">
<param name="audioOnly" value="TRUE" valuetype="data"/>
</video>
<video src="feed003" system-bitrate="564000"/>
<video src="feed004" system-bitrate="1064000"/>
</switch>
</body>
</smil>
and the url might look like:
http://website.com/services/_definst_/video/my.smil/playlist.m3u8
Hope that helps.
- Joel