ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 18:56:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run: adjust noux_bash to run for arm

Browse Source 
Issue #2137
Fixes #1469
This commit is contained in:
Alexander Boettcher 2016-11-10 21:22:48 +01:00 committed by Christian Helmuth
parent 8bb2641020
commit 6fa87e62dd
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
repos/ports/run/noux_bash.run
View File

@ -14,10 +14,9 @@ set build_components {
drivers/framebuffer drivers/input
server/terminal server/ram_fs
test/libports/ncurses
drivers/rtc
}
lappend_if [have_spec x86] build_components drivers/rtc
lappend_if [use_usb_input] build_components drivers/usb
lappend_if [have_spec gpio] build_components drivers/gpio
@ -73,7 +72,9 @@ append config {
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides><service name="Timer"/></provides>
</start>
</start>}
append_if [have_spec x86] config {
<start name="rtc_drv">
<resource name="RAM" quantum="1M"/>
<provides><service name="Rtc"/></provides>
@ -175,8 +176,13 @@ Hello world !!
<dir name="ram"> <fs label="root" /> </dir>
<dir name="tmp"> <fs label="tmp" /> </dir>
<dir name="dev"> <rtc/> <zero/> <null/> </dir>
<dir name="dev">}
append_if [have_spec x86] config {
<rtc/>}
append config {
<zero/> <null/>
</dir>
</fstab>
<start name="/bin/bash">
<env name="TERM" value="linux" />
@ -198,12 +204,12 @@ set boot_modules {
core init timer ld.lib.so noux terminal ram_fs
libc.lib.so libm.lib.so libc_noux.lib.so ncurses.lib.so
bash.tar coreutils.tar diffutils.tar less.tar vim.tar
rtc_drv
}
# platform-specific modules
lappend_if [have_spec linux] boot_modules fb_sdl
lappend_if [have_spec ps2] boot_modules ps2_drv
lappend_if [have_spec x86] boot_modules rtc_drv
lappend_if [have_spec framebuffer] boot_modules fb_drv
lappend_if [use_usb_input] boot_modules usb_drv
lappend_if [have_spec gpio] boot_modules gpio_drv