Files
genode/repos/ports/run
Christian Helmuth cc4e21e7a7 Fix some details in run scripts
- don't use 'qemu -serial mon:stdio' anymore as it no longer works as
  expected
- use "bash -l" with [terminal] to read user's profile configuration,
  e.g., PATH settings
- added missing boot modules and cap quotas
2020-04-17 12:40:13 +02:00
..
2020-02-20 12:08:17 +01:00
2019-11-19 14:54:13 +01:00
2020-04-17 12:40:13 +02:00
2020-04-17 12:40:13 +02:00
2019-04-01 19:33:50 +02:00
2020-03-26 11:38:58 +01:00
2020-03-26 11:38:57 +01:00
2019-06-13 12:13:40 +02:00