ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fixup "Remove noux from SSH exec terminal" (remove untested parts, add to autopilot)

This commit is contained in:
Norman Feske 2020-03-17 15:07:53 +01:00
parent ff3d060ae5
commit fbd403a112
2 changed files with 1 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
repos/gems/run/ssh_exec_channel.run
View File

@ -31,7 +31,6 @@ import_from_depot [depot_user]/src/[base_src] \
[depot_user]/src/libc \
[depot_user]/src/libcrypto \
[depot_user]/src/libssh \
[depot_user]/src/noux \
[depot_user]/src/platform_drv \
[depot_user]/src/posix \
[depot_user]/src/ram_fs \
@ -188,34 +187,6 @@ set config {
<service name="ROM"> <parent/> </service>
</route>
</start>
<start name="always-running-noux" caps="500">
<binary name="noux"/>
<resource name="RAM" quantum="64M"/>
<config>
<fstab>
<tar name="bash.tar" />
<tar name="coreutils-minimal.tar" />
<tar name="vim-minimal.tar" />
</fstab>
<start name="/bin/bash">
<env name="TERM" value="screen"/>
<env name="HOME" value="/"/>
<env name="IGNOREEOF" value="3"/>
</start>
</config>
<route>
<service name="File_system"> <child name="ram_fs"/> </service>
<service name="ROM" label="config"> <child name="report_rom"/> </service>
<service name="Terminal"> <child name="ssh_terminal"/> </service>
<service name="Timer"> <child name="timer"/> </service>
<service name="CPU"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="ROM"> <parent/> </service>
</route>
</start>
}
append_platform_drv_config

1
tool/autopilot.list
View File

@ -48,6 +48,7 @@ rtc
rump_ext2
sd_card_bench
seoul-auto
ssh_exec_channel
smartcard
smbios_decoder
smp